From Dag-Like Proofs to Boolean Circuits in Lean | Digital Library | PAMCET | PAMCET