Skip to content
GitLab
Explore
Sign in
Andrew Hirsch
Pirouette Coq Code
Repository
pirouette-coq
TypedChoreography.v
Find file
Blame
History
Permalink
Proved "equivalence" between my semantics and standard.
· 9b12b043
Andrew Hirsch
authored
Mar 22, 2020
9b12b043