Soonad

icon location Moonad repositories that are being ported to Formality

Results 1 repositories owned by Soonad

Formality-Core

38
Stars
11
Forks
Watchers

Specification of the Formality proof and programming language

verified publisher icon Soonad