Why Rocq is better than Lean for program verification

2 points | by birdculture an hour ago

No comments yet