Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
doc: Rework the intro pages
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 27 Feb 2023 23:17:32 +0000 (00:17 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 28 Feb 2023 07:43:14 +0000 (08:43 +0100)
commit98b64d0ca5df54ebf0dc3492a08fbab92b18416a
treefb2261639c87f9dc66696c4ad1f50a913555b09a
parent0c3ff62e3e040105afc8f47a73e42283cd0f0451
doc: Rework the intro pages
docs/source/Design_goals.rst
docs/source/Introduction.rst
docs/source/Start_your_own_project.rst
docs/source/Tutorial_Model-checking.rst
docs/source/index.rst