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.