2 commits

Author	SHA1	Message	Date
Ohad Livne	185199aaad	Create an optional hook system for externally-managed verification	2026-02-28 09:43:58 +02:00
Ohad Livne	d8f0429537	Write a workflow for formal spec-driven development based on TLA+	2026-02-28 09:43:57 +02:00