5 Commits

Author	SHA1	Message	Date
Marcin Czenko	c7bead879f	team-nl-br design proposal	2025-08-27 16:46:16 +02:00
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	1808e35adf	Initial commit	2025-05-23 15:29:42 +02:00