linlog in the browser: prove sequents of linear logic step by step; the prover runs in the page, nothing is sent to a server
-
Updated
Oct 19, 2026 - TypeScript
#
proof-nets
Here are 2 public repositories matching this topic...
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
-
Updated
Oct 19, 2026 - Rust
Add this topic to your repo
To associate your repository with the proof-nets topic, visit your repo's landing page and select "manage topics."