LeanAutoformalizationSkills
scottnarmstrong
Portable Lean 4 autoformalization skills for Codex and Claude Code
Python
Creative Commons Attribution 4.0 International 最后更新 2026年10月25日活跃58
Stars
7
Forks
1
Watchers
0
Issues
Star 增长
今日+1
近 7 天+1
近 30 天+1
综合评分41.31
默认分支main
暂无 README 内容
项目可能尚未同步完成，请稍后查看