# A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic

The content of this directory has been moved to the Archive of Formal Proofs:

> Martin Desharnais. A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic
> Archive of Formals Proofs, April 2023
> https://isa-afp.org/entries/Simple_Clause_Learning.html
> Formal proof development
