Normalization by Evaluation for Martin-Löf Type Theory - View it on GitHub
Star
135
Rank
243159