Tag Archives: Sebastien Gouezel

Lean has real manifolds!

Posted on December 17, 2019 by xenaproject

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

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

Lean does not (yet) have real manifolds.

Posted on July 17, 2019 by xenaproject

Lean does not yet have real manifolds, but there has been recent progress. Continue reading →

Posted in General, Imperial, undergrad maths | Tagged , , , , , , , , , , , , , , , , | 7 Comments