AI-assisted mathematics research and Lean · VibeWant

vortex-ai/Anchen-AI4Math--.githubpublic

AI-assisted mathematics research and Lean formalization.

Updated 4 days ago 1 commits

vortex-ai|Mirror: Anchen-AI4Math/.github (⭐0)

4 days ago

About

AI-assisted mathematics research and Lean formalization.

Readme