Why Rocq is better than Lean for program verification

5 points | by birdculture 2 hours ago

No comments yet