Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Kind: A Modern Proof Language
github.com/uwu-tech
232 points
danny00
5 years ago
111 comments
Loading...
Kind: A Modern Proof Language | Heykuki News