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