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