Merge branch 'doc/julien/refresh' into 'master'
[DOC] Some more doc See merge request laiser/caisar!63
No related branches found
No related tags found
Showing
- doc/_static/media/caisar_logo.png 0 additions, 0 deletionsdoc/_static/media/caisar_logo.png
- doc/acas_xu.rst 22 additions, 15 deletionsdoc/acas_xu.rst
- doc/conf.py 1 addition, 0 deletionsdoc/conf.py
- doc/ext/__pycache__/why3.cpython-310.pyc 0 additions, 0 deletionsdoc/ext/__pycache__/why3.cpython-310.pyc
- doc/index.rst 62 additions, 20 deletionsdoc/index.rst
- doc/installation.rst 1 addition, 0 deletionsdoc/installation.rst
- doc/mnist.rst 1 addition, 1 deletiondoc/mnist.rst
- doc/modules.rst 0 additions, 9 deletionsdoc/modules.rst
- doc/usage.rst 64 additions, 21 deletionsdoc/usage.rst
Loading
Please register or sign in to comment