Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
natmap.v
Find file
Blame
History
Permalink
Turn some non-recursive `Fixpoint`s into `Definition`s.
· 2ec23bde
Robbert Krebbers
authored
Jun 15, 2020
2ec23bde