fosdem2024_formal: add slides and diagrams
[libreriscv.git] / meetings_2024.mdwn
2024-01-02 Andrey Miroshnikovsync_up: Add today's entry