Anatomy of a Lean proof for software engineers (agostbiro.net)56 points | by abiro a day ago
500 Code(3)

500 Code(3)

Error: Code(3)