GitHub repository: Adamme-le-codeur-fou/archsat_lambdapi_proof
Primary language: OCaml
Description: A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.