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