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