Skip to content
GitLab
Explore
Sign in
Andrew Hirsch
Pirouette Coq Code
Repository
pirouette-coq
Choreography.v
Find file
Blame
History
Permalink
Aborted attempt to normalize choreographies.
· 8d469346
Andrew Hirsch
authored
Apr 16, 2020
Church-Rosser turns out to be false.
8d469346