Anatomy of a Lean proof for software engineers

59 points

by abiro

1 days ago

3 comments