/NbE

Normalization by Evaluation for STLC

Primary LanguageCoq

This repository is not active