Why Rocq is better than Lean for program verification

7 pointsposted 11 hours ago
by birdculture
(joomy.korkutblech.com)

No comments yet