Why Rocq is better than Lean for program verification

(joomy.korkutblech.com)

7 points | by birdculture 11 hours ago ago

No comments yet.