Prover vs Structuredforests

StructuredforestsProver
Stars9314
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit7 years ago3 years ago
Total Releases
Latest Release
Open Issues8
Licensebsd-2-clausemit
Programming LanguagePythonPython