Skip to content
GitLab
Explore
Sign in
Iris
examples
Repository
examples
theories
proph
eager_coin_spec.v
Find file
Blame
History
Permalink
make everything pass with coq-lint
· d3599948
Ralf Jung
authored
Jul 23, 2021
d3599948