What does a lean proof prove?(supaiku.com)5 points·by elcomet·قبل 7 أشهر·1 commentssupaiku.comWhat does a lean proof prove?https://supaiku.com/what-does-a-lean-proof-prove1 commentsPost comment[–]fjfaase·قبل 7 أشهرreplyInteresting. A bit similar to bootstrapping.