Metadata-Version: 2.1
Name: pyprover9
Version: 0.0.2
Summary: Colab wrapper for the Prover9 theorem prover
Author: brandonb
Author-email: B.Bennett@leeds.ac.uk
Classifier: Development Status :: 1 - Planning

Colab wrapper written by Brandon Bennett for the Prover9 theorem prover by William McCune.
