search

Soonad / Formality-Core

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

Update Whitepaper.md #17

Open rashadg1030 opened 4 years ago