rewrite: azoth's formal verification engine - #140

Draft

g4titanx wants to merge 1 commit into

feat/fv-rewrite

Commits on Apr 3, 2026

refactor: rm old archi and update readme for new system
g4titanx
committed
3c7a473