Skip to content
GitLab
Explore
Sign in
Anton Trunov
less-adhoc
Repository
less-adhoc
terms.v
Find file
Blame
History
Permalink
Port to Coq 8.7 / Mathcomp 1.6.4
· 5fb2b727
Anton Trunov
authored
Mar 15, 2018
5fb2b727