What does a lean proof prove?(supaiku.com)5 ポイント·投稿者 elcomet·7 か月前·1 コメントsupaiku.comWhat does a lean proof prove?https://supaiku.com/what-does-a-lean-proof-prove1 コメントコメントを投稿[–]fjfaase·7 か月前返信Interesting. A bit similar to bootstrapping.