1 citations · 1 across the 7 of their papers we have counts for
1 paper · 1 filter
Stefan Szeider
We present PBLean, a method for importing VeriPB pseudo-Boolean (PB) proof certificates into Lean 4. Key to our approach is reflection: a Boolean checker function whose soundness i…