Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
_CoqProject
Find file
Blame
History
Permalink
new example: gcd.v; add a_un_op_spec rule; put helper lemmas into separate file (derived.v)
· f9333b2c
Léon Gondelman
authored
May 07, 2018
f9333b2c