What does a lean proof prove?(supaiku.com)5 points·by elcomet·hace 7 meses·1 commentssupaiku.comWhat does a lean proof prove?https://supaiku.com/what-does-a-lean-proof-prove1 commentsPost comment[–]fjfaase·hace 7 mesesreplyInteresting. A bit similar to bootstrapping.