Executable version of Functional Differential Geometry.
Why do you think that https://github.com/sicmutils/sicmutils is a good alternative to fdg-book
Executable version of Functional Differential Geometry.
Why do you think that https://github.com/sicmutils/sicmutils is a good alternative to fdg-book