Typed spec-driven development with deterministic verification — from shell commands to formal proofs
Lean Updated 18 days ago 1 commits 2 stars
axiom-bot|Mirror: tskovlund/qed (⭐2)
18 days agoAbout
Typed spec-driven development with deterministic verification — from shell commands to formal proofs
Readme
2 stars