zakariagharzouli/sparda

AI writes. SPARDA proves. A deterministic, offline gate tha…