Repository navigation

Formal conjectures - #168

Open

Shangyint wants to merge 3 commits into

FrontierCS:mainfrom

Shangyint:formal-conjectures

Open

Formal conjectures#168
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
  fe4f84c
- Materialize formal_conjectures problems implicitly on access
  
  Shangyint
  and
  claude
  committed
  1b03fe3
Commits on Jul 23, 2026
- Add prove-or-disprove mode and local-verification ergonomics for formal-conjectures
  
  Shangyint
  and
  claude
  committed
  1b27525