Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "Teaching Logic" keyword
anita 0.1.13
ANITA is a proof assistant for teaching analytic tableaux to computer science students. ANITA all...13 versions - Latest release: 8 months ago - 41 downloads last month - 20 stars on GitHub - 1 maintainer
nadia-proof 0.1.9
NADIA is a proof assistant for teaching natural deduction to computer science students. NADIA all...10 versions - Latest release: 10 months ago - 29 downloads last month - 27 stars on GitHub - 1 maintainer
logic4py 0.0.6
logic4py is a libray for teaching logic to computer science students.6 versions - Latest release: 11 months ago - 37 downloads last month - 10 stars on GitHub - 1 maintainer