GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ proof-net
Top 1 proof-net 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
proof-net projects