Skip to content
GitLab
Explore
Sign in
Andrew Hirsch
Pirouette Coq Code
Repository
pirouette-coq
_CoqProject
Find file
Blame
History
Permalink
Renamed the PiCalc file to Process Calculus.
· 143828e2
Andrew Hirsch
authored
Jan 05, 2021
Alex Kavvos would argue that this is more correct.
143828e2