Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
sapling-verification
Issues
#2
Canonical model of IMTs in Coq
TODO: Fill me
Build model of IMTs in ssreflect/Coq, and defines its canonical interface
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information