Lean 4.33.1
Dependencies: Lean core
File: Peirce.lean
SHA-256: 8f37cce3e3ff48615c53644f49198751e414cc76cdb983896279f8e9e2043edc
Result: passed

'PaperToLean.Peirce.peirces_law' depends on axioms: [propext, Classical.choice, Quot.sound]