The Nest
Explore
Sign in
finegeometer
synthetic-differential-geometry
theories
0
Code
Changes
Tags
Discussions
main
finegeometer
Remove Atomic. Add AtomicWarning.md with explanation.
on February 20, 2022
axioms.v
Remove Atomic. Add AtomicWarning.md with explanation.
on February 20, 2022
basic_infinitesimal_spaces.v
Remove Atomic. Add AtomicWarning.md with explanation.
on February 20, 2022
common.v
Remove Atomic. Add AtomicWarning.md with explanation.
on February 20, 2022
isomorphism.v
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
weil_algebras.v
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