joomy.korkutblech.com

Joomy Korkut - Why Rocq is better than Lean for program verification

Joomy's web site and blog.

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.