▲ 7 pointsWhy Rocq is better than Lean for program verificationjoomy.korkutblech.comby birdculture·18d ago·0 comments·view on hn ↗