{"version": "1023f1f148f87f4a893e7697dbb8a2643dc8bd5e", "pages": [{"slug": "index", "title": "Home", "html_url": "https://axle.axiommath.ai/v1/docs/"}, {"slug": "installation", "title": "Installation", "html_url": "https://axle.axiommath.ai/v1/docs/installation/"}, {"slug": "quickstart", "title": "Quick Start", "html_url": "https://axle.axiommath.ai/v1/docs/quickstart/"}, {"slug": "configuration", "title": "Configuration", "html_url": "https://axle.axiommath.ai/v1/docs/configuration/"}, {"slug": "troubleshooting", "title": "Troubleshooting", "html_url": "https://axle.axiommath.ai/v1/docs/troubleshooting/"}, {"slug": "python-api", "title": "Python API", "html_url": "https://axle.axiommath.ai/v1/docs/python-api/"}, {"slug": "cli-reference", "title": "CLI Reference", "html_url": "https://axle.axiommath.ai/v1/docs/cli-reference/"}, {"slug": "changelog", "title": "Changelog", "html_url": "https://axle.axiommath.ai/v1/docs/changelog/"}, {"slug": "tools/verify_proof", "title": "verify_proof", "html_url": "https://axle.axiommath.ai/v1/docs/tools/verify_proof/"}, {"slug": "tools/check", "title": "check", "html_url": "https://axle.axiommath.ai/v1/docs/tools/check/"}, {"slug": "tools/extract_theorems", "title": "extract_theorems", "html_url": "https://axle.axiommath.ai/v1/docs/tools/extract_theorems/"}, {"slug": "tools/extract_decls", "title": "extract_decls", "html_url": "https://axle.axiommath.ai/v1/docs/tools/extract_decls/"}, {"slug": "tools/extract_proof_states", "title": "extract_proof_states", "html_url": "https://axle.axiommath.ai/v1/docs/tools/extract_proof_states/"}, {"slug": "tools/rename", "title": "rename", "html_url": "https://axle.axiommath.ai/v1/docs/tools/rename/"}, {"slug": "tools/theorem2lemma", "title": "theorem2lemma", "html_url": "https://axle.axiommath.ai/v1/docs/tools/theorem2lemma/"}, {"slug": "tools/theorem2sorry", "title": "theorem2sorry", "html_url": "https://axle.axiommath.ai/v1/docs/tools/theorem2sorry/"}, {"slug": "tools/merge", "title": "merge", "html_url": "https://axle.axiommath.ai/v1/docs/tools/merge/"}, {"slug": "tools/simplify_theorems", "title": "simplify_theorems", "html_url": "https://axle.axiommath.ai/v1/docs/tools/simplify_theorems/"}, {"slug": "tools/repair_proofs", "title": "repair_proofs", "html_url": "https://axle.axiommath.ai/v1/docs/tools/repair_proofs/"}, {"slug": "tools/have2lemma", "title": "have2lemma", "html_url": "https://axle.axiommath.ai/v1/docs/tools/have2lemma/"}, {"slug": "tools/have2sorry", "title": "have2sorry", "html_url": "https://axle.axiommath.ai/v1/docs/tools/have2sorry/"}, {"slug": "tools/sorry2lemma", "title": "sorry2lemma", "html_url": "https://axle.axiommath.ai/v1/docs/tools/sorry2lemma/"}, {"slug": "tools/disprove", "title": "disprove", "html_url": "https://axle.axiommath.ai/v1/docs/tools/disprove/"}, {"slug": "tools/normalize", "title": "normalize", "html_url": "https://axle.axiommath.ai/v1/docs/tools/normalize/"}]}