Why Rocq is better than Lean for program verification joomy.korkutblech.com· lo · ▲ 0 points · Jul 28, 2026 Joomy Korkut Why Rocq is better than Lean for program verification A write-up on why I don
0 comments
No comments yet.