HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
A tiny toy compiler proven correct in Idris
github.com/mbrodersen
1 comment
8 years ago
mbrodersen
2 points
2.
▲
The Programming Languages Zoo
github.com/andrejbauer
discuss
4 years ago
mbrodersen
3 points
3.
▲
Let’s Prove Leftpad (Comparing proof tools)
github.com/hwayne
discuss
5 years ago
mbrodersen
1 points