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