# Formalization of a PAC Checker #

[This directory](https://bitbucket.org/isafol/isafol/src/master/PAC_Checker/)
used to contain Pastèque, a PAC checker verified in Isabelle, but it has now moved
to the [Archive of Formal Proofs](https://www.isa-afp.org/entries/PAC_Checker.html). The formalisation is
described in an [FMCAD
paper](http://fmv.jku.at/papers/KaufmannFleuryBiere-FMCAD20.pdf).



## Authors ##

* [Mathias Fleuy](mailto:mathias.fleury shtrudel jku.at)
* [Daniela Kaufmann](http://fmv.jku.at/kaufmann/)


