ngernest/church-rossser
Proof of the Church-Rosser theorem using locally nameless representation in Coq
CoqMIT
Stargazers
No one’s star this repository yet.
Proof of the Church-Rosser theorem using locally nameless representation in Coq
CoqMIT
No one’s star this repository yet.