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