J joomy.korkutblech.com Why Rocq is better than Lean for program verification 7 points joomy 3 months ago 1 comments
