Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_obj.v
Find file
Blame
History
Permalink
Use an inductive predicate equivalent to a proof of membership to guide
· c2ba58de
Raphaël Cauderlier
authored
Jul 11, 2014
select and update
c2ba58de