Skip to content
GitLab
Explore
Sign in
Andrew Hirsch
Pirouette Coq Code
Repository
pirouette-coq
README.md
Find file
Blame
History
Permalink
Changed some names that still referenced ExprSubst.
· 16090ca5
Andrew Hirsch
authored
Oct 04, 2021
16090ca5