Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
dklib
Repository
dklib
dk_nat.dk
Find file
Blame
History
Permalink
Inductive definition of dk_nat.min is more usable for inductive proofs.
· dfeed096
Raphaël Cauderlier
authored
Oct 06, 2014
dfeed096