Skip to content

feat(lean): import 47 Lean 4 theorems from Nexbid main repo

206a979
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat(lean): import 47 Lean 4 theorems — machine-checked auction core #1

feat(lean): import 47 Lean 4 theorems from Nexbid main repo
206a979
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
build
succeeded May 16, 2026 in 19s