Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_obj.v
Find file
Blame
History
Permalink
[Coq formalisation][HUGE] Also recurse on position for assoc.
· 93984d51
Raphaël Cauderlier
authored
Jul 18, 2014
Still rely on String_UIP.
93984d51