/agda-nbe

Formalizing nbe in agda

No issues in this repository yet.