finegeometer/synthetic-differential-geometry

finegeometer

Remove Atomic. Add AtomicWarning.md with explanation.

on February 20, 2022

theories

First commit. Definition of the axioms, some basic infinitesimal spaces, and a few basic concepts. Some theorems have been left unproven.

on February 19, 2022
.ignore

First commit. Definition of the axioms, some basic infinitesimal spaces, and a few basic concepts. Some theorems have been left unproven.

on February 19, 2022
AtomicWarning.md

Remove Atomic. Add AtomicWarning.md with explanation.

on February 20, 2022
Makefile

First commit. Definition of the axioms, some basic infinitesimal spaces, and a few basic concepts. Some theorems have been left unproven.

on February 19, 2022
README.md

Fixes a broken link.

on February 19, 2022
_CoqProject

Remove Atomic. Add AtomicWarning.md with explanation.

on February 20, 2022

README.md

Experimenting with synthetic differential geometry.

Useful book on the subject:

Anders Kock, Synthetic Differential Geometry, Cambridge University Press 1981, 2006