├── .gitignore ├── README.md ├── diffgeo.v ├── intro-to-smooth-infinitesimal-analysis.pdf └── mathcomp.pdf /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bollu/diffgeo/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bollu/diffgeo/HEAD/README.md -------------------------------------------------------------------------------- /diffgeo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bollu/diffgeo/HEAD/diffgeo.v -------------------------------------------------------------------------------- /intro-to-smooth-infinitesimal-analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bollu/diffgeo/HEAD/intro-to-smooth-infinitesimal-analysis.pdf -------------------------------------------------------------------------------- /mathcomp.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bollu/diffgeo/HEAD/mathcomp.pdf --------------------------------------------------------------------------------