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