Projects in Awesome Lists by 0bserver07
A curated list of projects in awesome lists by 0bserver07 .
https://github.com/0bserver07/bourbaki
An autonomous agent for mathematical reasoning and proof
ai-agent arxiv autonomous-agent computer-algebra fastapi lean4 math-research mathematics oeis proof-assistant pydantic-ai sympy theorem-proving
Last synced: 14 May 2026