Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_obj_inconsistency.v
Find file
Blame
History
Permalink
Prove inconsistency of the "beta" axiom on the Coq side
· 0860fb7a
Raphaël Cauderlier
authored
Jun 03, 2015
0860fb7a