Alex 5a186be363 Doc: update goals, add docker alias ... Fix #235		2023-06-14 11:09:31 +02:00
..
benchmarks	Some work on documentation towards v0.8	2022-09-14 19:31:13 +02:00
_index.md	Change talk links more	2023-01-30 18:51:48 +01:00
goals.md	Doc: update goals, add docker alias	2023-06-14 11:09:31 +02:00
internals.md	Some work on documentation towards v0.8	2022-09-14 19:31:13 +02:00
related-work.md	Add links to presentations	2023-01-30 17:48:36 +01:00