3 commits

Author	SHA1	Message	Date
Ohad Livne	65d8a4677c	Add human-in-the-loop interactivity to the implementation step	2026-03-07 15:23:39 +02:00
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