Skip to content

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

Add prove-or-disprove mode and local-verification ergonomics for form…

1b27525
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
detect-changes
succeeded Jul 23, 2026 in 40s