linlog-prover
Popular repositories Loading
-
linlog
linlog PublicA linear logic suite: decides, checks, proves step by step and exports sequents of classical and intuitionistic linear logic, with proofs an independent checker validates
Rust
-
linlog-prover.github.io
linlog-prover.github.io Publiclinlog in the browser: prove sequents of linear logic step by step; the prover runs in the page, nothing is sent to a server
TypeScript
Repositories
- linlog Public
A linear logic suite: decides, checks, proves step by step and exports sequents of classical and intuitionistic linear logic, with proofs an independent checker validates
- linlog-prover.github.io Public
linlog in the browser: prove sequents of linear logic step by step; the prover runs in the page, nothing is sent to a server
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…