Metadata-Version: 1.0
Name: icc.atp
Version: 0.0.2
Summary: Automatic Theorem Proving wrapper for Python
Home-page: UNKNOWN
Author: Evgeny Cherkashin
Author-email: eugeneai@irnok.net
License: GNU GPL
Description:  
Keywords: automatic theorem proving ATP proof first-order logics
Platform: UNKNOWN
