Assuming you have some math background but no Lean background: https://adam.math...

		mlpoknbji 65 days ago \| parent \| context \| favorite \| on: Why formalize mathematics – more than catching err... Assuming you have some math background but no Lean background: https://adam.math.hhu.de/#/g/leanprover-community/nng4