2018-10-19 | Jérôme Benoit | Add differentiability definition. | tree | commitdiff |
2018-10-17 | Jérôme Benoit | Massive code cleanup: | tree | commitdiff |
2018-10-16 | Jérôme Benoit | Refine the definitions. | tree | commitdiff |
2018-10-16 | Jérôme Benoit | Fixlet to definitions. | tree | commitdiff |
2018-10-16 | Jérôme Benoit | Refine the definitions. | tree | commitdiff |
2018-10-16 | Jérôme Benoit | Move some files and add beamer slides skeleton | tree | commitdiff |