Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
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.
Uh oh!
There was an error while loading. Please reload this page.
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…
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.