Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Andromeda: Proof assistant for general type theories
github.com/Andromedans
1 point
adamnemecek
6 years ago
No comment yet
Andromeda: Proof assistant for general type theories | Heykuki News