HN Explorer

joomy

↗ HN profile [ 56.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
    7 points 1
  2. What Happens to Software When Proof Is Cheap? [video] (youtube.com)
    1 points 0
  3. Scraper for Twitter embedded timelines (github.com)
    2 points 0
  4. A Haskell program to check the vezin (prosody) of Ottoman Divan poetry (github.com)
    3 points 0