search

Soonad / Formality-Core

Specification of the Formality proof and programming language
MIT License
40 stars 11 forks source link

Jcb/stringification #3

Closed johnchandlerburnham closed 4 years ago