Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris
proofmode
class_instances_frame.v
Find file
Blame
History
Permalink
Fix #566 by introducing IsDisjUnion class.
· 31817e3d
Jan-Oliver Kaiser
authored
Mar 01, 2024
31817e3d