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