Geeks
amintimany
/
NbE
Normalization by Evaluation for STLC
Primary Language
Coq
NbE GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
No issues in this repository yet.