1 story
Lean treats every logical claim as a type you must build a value for, and that one shift lets you pass proven facts around a program.
Overreacted · 4m