Repository navigation

Generate lemmas and prove them - #50

Open

petros-marko wants to merge 3 commits into

petros-marko/proofs

Open

Generate lemmas and prove them#50
petros-marko wants to merge 3 commits into
masterfrom
petros-marko/proofs

Commits on Oct 6, 2025
- Mark theorems as proven externally and prove them
  petros-marko
  committed
  2fc53e3
- Fix pointer-width related type errors
  petros-marko
  committed
  3c0c972
Commits on Jun 15, 2026
- update proofs to work with current version of flux-lean
  petros-marko
  committed
  1809fb9