Typesandproofs vs Rrcf

RrcfTypesandproofs
Stars45028
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit9 months ago4 months ago
Total Releases
Latest Release
Open Issues271
Licensemitapache-2.0
Programming LanguagePythonProlog