Anatomy of a Lean proof for software engineers

50 points

by abiro

1 days ago

1 comments