Formal conjectures#168

Open

Shangyint wants to merge 3 commits into

FrontierCS:mainfrom

Shangyint:formal-conjectures

Commits on Jul 20, 2026

Add Lean formal-conjectures problems (generated from submodule)

Shangyint
and
claude
committed
Materialize formal_conjectures problems implicitly on access

Shangyint
and
claude
committed

Commits on Jul 23, 2026

Add prove-or-disprove mode and local-verification ergonomics for formal-conjectures

Shangyint
and
claude
committed