Skip to content
GitLab
Explore
Sign in
Andrew Hirsch
Pirouette Coq Code
Repository
pirouette-coq
_CoqProject
Find file
Blame
History
Permalink
ChoreographyCompiler done, including proof that equivalent choreographies have equal projections.
· 06946052
Andrew Hirsch
authored
Dec 05, 2020
06946052