Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

juliahub.com "propositional-logic" keyword

PAndQ 0.3.1
A computer algebra system for propositional logic
4 versions - Latest release: about 2 months ago - 15 stars on GitHub
DeMorgan 0.1.0 💰
Classical logic truth table magma algebra
1 version - Latest release: 6 months ago - 3 stars on GitHub
Related Keywords
julia 2 logic 2 julialang 1 symbolic 1 math 1 mathematics 1 proof 1 proof-assistant 1 boolean-logic 1 truth-table 1 logical-operators 1 reasoning 1 truth-table-generator 1 boolean-algebra 1 algebra 1 computer-algebra 1 boolean-expression 1