Soonad / Formality-Core

Specification of the Formality proof and programming language

Soonad/Formality-Core Watchers

Guilherme Guimarães
g-guimaraes
George Brown
g0xA52A2A
James Cloos
jhcloos
John Chandler Burnham
johnchandlerburnham
Rémy Rakic
lqd
Sam Kuhn
samkuhn
Simon Horlick
simonhorlick
Victor Taelin
VictorTaelin

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.