GitPlanet
All Categories → No Category → higher-order-logic

Top 2 higher-order-logic open source projects

hopes
Higher Order Prolog with Extensional Semantics
✭ 43
haskellprologYaccMakefileinterpreterhopeshigher-order-logic
Leo-III
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
✭ 29
scalaOpenEdge ABLANTLRpythonshellperllogictheorem-provingatphigher-order-logicreasoningdeduction-system
1-2 of 2 higher-order-logic projects