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

3 points | by birdculture 21 hours ago