Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
world_prop.v
Find file
Blame
History
Permalink
Propositions are now uniform predicates over monoid elements (not 0);
· 0de5b6a9
Filip Sieczkowski
authored
Jun 03, 2014
definitions pushed through, some lemmas commented out for now.
0de5b6a9