Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_obj.v
Find file
Blame
History
Permalink
[Coq formalisation] put the properties about lists of strings before the
· cc687fd9
Raphaël Cauderlier
authored
Jul 16, 2014
definition of types
cc687fd9