Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and Lean
Unknown authors
· 0 citations
· 30 references