Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_obj.v
Find file
Blame
History
Permalink
[coq_obj] reformulate definition of Expr closer to the paper
· 4b4c7cb4
Raphaël Cauderlier
authored
Jun 03, 2015
4b4c7cb4