axle/

📄 extract_decls - AXLE Documentation 1,581w HTML · MD

📄 merge - AXLE Documentation 1,344w HTML · MD

📄 verify_proof - AXLE Documentation 16w HTML · MD

📄 Changelog - AXLE Documentation 979w HTML · MD

📄 normalize - AXLE Documentation 986w HTML · MD

📄 repair_proofs - AXLE Documentation 1,208w HTML · MD

📄 sorry2lemma - AXLE Documentation 595w HTML · MD

📄 Troubleshooting - AXLE Documentation 1,150w HTML · MD

📄 extract_theorems - AXLE Documentation 1,205w HTML · MD

📄 have2lemma - AXLE Documentation 418w HTML · MD

📄 simplify_theorems - AXLE Documentation 690w HTML · MD

📄 theorem2sorry - AXLE Documentation 531w HTML · MD

📄 theorem2lemma - AXLE Documentation 730w HTML · MD

📄 disprove - AXLE Documentation 630w HTML · MD

📄 Configuration - AXLE Documentation 424w HTML · MD

📄 Python API - AXLE Documentation 437w HTML · MD

📄 check - AXLE Documentation 733w HTML · MD

📄 have2sorry - AXLE Documentation 552w HTML · MD

📄 rename - AXLE Documentation 571w HTML · MD

📄 CLI Reference - AXLE Documentation 176w HTML · MD

📄 Installation - AXLE Documentation 97w HTML · MD

📄 Quick Start - AXLE Documentation 261w HTML · MD

📄 Login - AXLE Console 12w HTML · MD

📄 Verify Proof - AXLE 109w HTML · MD

📄 Extract Sorries and Errors to Lemmas - AXLE 109w HTML · MD

📄 Extract Have Statements to Lemmas - AXLE 100w HTML · MD

📄 Repair Proofs - AXLE 90w HTML · MD

📄 Simplify Theorems - AXLE 95w HTML · MD

📄 Normalize - AXLE 79w HTML · MD

📄 Disprove - AXLE 87w HTML · MD

📄 Replace Have Statements with Sorry - AXLE 80w HTML · MD

📄 Merge Lean Files - AXLE 87w HTML · MD

📄 Extract Declarations - AXLE 84w HTML · MD

📄 Check - AXLE 83w HTML · MD

📄 Rename Declarations - AXLE 77w HTML · MD

📄 Convert to Sorry - AXLE 95w HTML · MD

📄 Highlight - AXLE 67w HTML · MD

📄 Convert Theorem/Lemma - AXLE 90w HTML · MD

📄 Extract Theorems - AXLE 82w HTML · MD

📄 AXLE - Axiom Lean Engine 794w HTML · MD

📄 AXLE Documentation 335w HTML · MD

Pages