scottnarmstrong / LeanAutoformalizationSkills
git clone https://github.com/scottnarmstrong/LeanAutoformalizationSkills.git
Portable Lean 4 autoformalization skills for Codex and Claude Code
+0
stars, 24h · #34,447
+~0
stars, 7 days · #34,922
+51
stars, 30 days · #11,408
51
★ total
7
forks · 0 open issues
Star history (as recorded here)
LanguagePython
LicenseCC-BY-4.0
Created2026-10-04 (18d ago)
Last push15d ago
OwnerUser