GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ propositional-calculus
Top 1 propositional-calculus open source projects
lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
✭ 36
common lisp
Makefile
Dockerfile
propositional-logic
truth-table
inference-engine
propositional-calculus
inference-rules
lisp-inference
1-1
of
1
propositional-calculus projects