Tutorial: Introduction to Formal Verification with Lean (Part 1)

3 points | by birdculture 5 hours ago

No comments yet