GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ displacement-calculus-grammars
Top 1 displacement-calculus-grammars open source projects
LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
✭ 16
prolog
latex
theorem-proving
first-order-logic
swi-prolog
linear-logic
proof-net
displacement-calculus-grammars
1-1
of
1
displacement-calculus-grammars projects
