Skip to content

math0 results: Lean-verified OEIS conjectures and formal-conjectures statements - #1

Open
abu-aska wants to merge 76 commits into
mainfrom
claude/math-capabilities-showcase-961iya
Open

math0 results: Lean-verified OEIS conjectures and formal-conjectures statements#1
abu-aska wants to merge 76 commits into
mainfrom
claude/math-capabilities-showcase-961iya

Fidelity review packets for the 110 math0-formalized statements

140e4ff
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar