Math is hard.
We need a better handling of infinitesimals and some coherence and parametricity theorems to help us with some of the most boring calculations. I'm working on that. Take a look at my master's thesis (in portuguese) for an introduction.
This page is even more under construction than the others.
(home)