7 Commits

Author	SHA1	Message	Date
Marcin Czenko	54e5720fcf	team-nl-br design proposal	2025-12-15 03:52:43 +01:00
Marcin Czenko	ba0bdf6658	initial draft - block exchange module (#16)	2025-09-17 15:47:25 +10:00
Marcin Czenko	ae8a7d9a20	Codex Manifest Spec (#13) ... * codex manifest spec initial draft * adds functional requirements * updates the spec and clarifies protobufs	2025-09-16 16:37:21 +10: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