# Standard Superposition #

[This directory](https://bitbucket.org/isafol/isafol/src/master/Standard_Superposition/)
contains an ongoing Isabelle formalization of the standard superposition calculus.


## Author ##

* [Simon Robillard](mailto:simon.robillard shtrudel imt-atlantique.fr)
