somedudeatwork

↗ HN profile [ 105 ms ] full profile

Karma: 0
Created: July 13, 2018 (8y ago)
Submissions: 0

Formality: An efficient programming language and proof assistant (github.com)

3 points 7y ago 0