sequentlabs
Popular repositories Loading
-
proof-transport
proof-transport PublicTransport sequent proofs across rule changes (e.g. remove Cut). Stability certificates for Lean/Coq/Agda.
Rust 2
Repositories
Showing 1 of 1 repositories
- proof-transport Public
Transport sequent proofs across rule changes (e.g. remove Cut). Stability certificates for Lean/Coq/Agda.
sequentlabs/proof-transport’s past year of commit activity
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…