Agent Skills: theorem-prover-orchestration

Unified theorem prover ecosystem dispatcher - routes proofs across Dafny, Lean4, Coq, Agda, F*, Idris, Stellogen

UncategorizedID: plurigrid/asi/theorem-prover-orchestration

Author

Repository

plurigridLicense: MIT

165

pnpm dlx add-skill https://github.com/plurigrid/asi/theorem-prover-orchestration

Skill Files

Browse the full folder contents for theorem-prover-orchestration.

Loading file tree…

Select a file to preview its contents.