mirror of
https://github.com/AdaCore/alt-ergo.git
synced 2026-02-12 12:39:26 -08:00
* 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>