Abstract
Stefan Szeider. PBLean: Pseudo-Boolean Proof Certificates for Lean 4. Proceedings of the 17th Workshop on Pragmatics of SAT, PoS 2026, Lisbon, Portugal, July 19, 2026, co-located with SAT 2026, volume 4289 of CEUR Workshop Proceedings, pages 89–98, 2026, CEUR-WS.org.
Type
