Auto-formalization by AI/LLM in scope of metamathematics of arithmetic
Lean Updated about 1 month ago 1 commits
quark-coder|Mirror: FormalizedFormalLogic/AlphaCentauri (⭐0)
about 1 month agoAbout
Auto-formalization by AI/LLM in scope of metamathematics of arithmetic
Readme
1 forks