Tag Archives: shenyang wu

Lean has real manifolds!

Lean has real manifolds — and tangent bundles too! Continue reading

Posted in General, undergrad maths | Tagged , , | 5 Comments