joomy

Karma: 82
Created: 12 years ago

About

http://joomy.korkutblech.com

Recent Submissions

1. ▲ Why Rocq is better than Lean for program verification (joomy.korkutblech.com) 7 points · 9 days ago · 1 comment
2. ▲ What Happens to Software When Proof Is Cheap? [video] (youtube.com) 1 point · 2 months ago · 0 comments
3. ▲ Scraper for Twitter embedded timelines (github.com) 2 points · 11 years ago · 0 comments
4. ▲ A Haskell program to check the vezin (prosody) of Ottoman Divan poetry (github.com) 3 points · 11 years ago · 0 comments

All submissions on HN · View profile on HN