Skip to content
GitLab
Explore
Sign in
Iris
examples
Repository
examples
theories
logatom
snapshot
spec.v
Find file
Blame
History
Permalink
equip remaining specs with the fact that names are countable (just in case)
· d21da3ed
Ralf Jung
authored
Jun 11, 2019
d21da3ed