Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
theories
prelude
countable.v
Find file
Blame
History
Permalink
more restrictive Proof Using hints in (most files of the) prelude
· 66c3aff9
Ralf Jung
authored
Jan 05, 2017
66c3aff9