Skip to content
GitLab
Explore
Sign in
Anton Trunov
less-adhoc
Issues
#2
Uncomment `stress` example in cancel.v when Coq 8.8.0 is out