Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_obj.v
Find file
Blame
History
Permalink
Don't try to check convertibility in Coq.
· b899e36c
Raphaël Cauderlier
authored
Jul 15, 2014
b899e36c