Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.