Synthetic Differential Geometry in Lean

Synthetic Differential Geometry in Lean.

We follow Synthetic Differential Geometry by Anders Kock.