Files
Louis Rustenholz c45c511fa0 Doc-Alt-Ergo (#358)
* Sphinx documentation included

* Travis integration

* Fix install and usage documentation. Add dev (architecture,contributing) and about (license,changes, ressources) section in the doc

Co-authored-by: Louis RUSTENHOLZ <louis.rustenholz@polytechnique.edu>
Co-authored-by: Albin Coquereau <albin.coquereau@ocamlpro.com>
Co-authored-by: Albin Coquereau <6535385+OCamlPro-Coquera@users.noreply.github.com>
Co-authored-by: Mohamed Iguernlala <4703008+OriginLabs-Iguernlala@users.noreply.github.com>
2020-12-03 09:38:52 +01:00
..
2020-12-03 09:38:52 +01:00