joomy

87 karmajoined February 27, 2014On HN

http://joomy.korkutblech.com

Recent submissions

Why Rocq is better than Lean for program verification joomy.korkutblech.com
7joomy1mo1 comment
What Happens to Software When Proof Is Cheap? [video]youtube.com
1joomy4modiscuss
Scraper for Twitter embedded timelines github.com/joom
2joomy12ydiscuss
A Haskell program to check the vezin (prosody) of Ottoman Divan poetry github.com/joom
3joomy12ydiscuss

All submissions and comments on Hacker News.