proof-net topic

List proof-net repositories

Stars

Forks

Watchers

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.