Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
iris
proofmode
class_instances_updates.v
Find file
Blame
History
Permalink
Use `_` intro pattern for `True`.
· 9e2af621
Robbert Krebbers
authored
Jan 07, 2021
9e2af621