Skip to content
GitLab
Explore
Sign in
Andrew Hirsch
Pirouette Coq Code
Repository
pirouette-coq
RestrictedSemantics.v
Find file
Blame
History
Permalink
Fixed a quick inconsistency in the RestrictedSemantics result.
· c02e3a94
Andrew Hirsch
authored
Jun 17, 2021
c02e3a94