Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_obj.v
Find file
Blame
History
Permalink
Decide subtyping for generated coq terms.
· f0fbd3f7
Raphaël Cauderlier
authored
Jul 21, 2014
f0fbd3f7