6 Commits

Author SHA1 Message Date
M Alghazwi
4fd6350ffb
prover-specs 2025-08-14 13:38:28 +03:00
Marcin Czenko
3a0b0f75ed adds documentation guidelines 2025-08-08 02:20:37 +02:00
Marcin Czenko
6b8290f63d
adds some more links and updates plugins 2025-08-07 06:14:27 +02:00
Marcin Czenko
eaa172551e
adds templates for the Codex team meeting 2025-07-08 03:15:21 +02:00
Marcin Czenko
d12344c104
Adds Codex Client Team meeting minutes templates 2025-06-17 13:33:04 +02:00
Marcin Czenko
1808e35adf
Initial commit 2025-05-23 15:29:42 +02:00