Skip to content

Algebraic op fuzzer - #156

Open
imlvts wants to merge 2 commits into
Adam-Vandervorst:masterfrom
imlvts:alg-fuzzer
Open

Algebraic op fuzzer#156
imlvts wants to merge 2 commits into
Adam-Vandervorst:masterfrom
imlvts:alg-fuzzer

Extend the algebraic fuzzer: lattice check, three value types, dangli…

839257e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Oct 2, 2026 in 11s