Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org : anita

ANITA is a proof assistant for teaching analytic tableaux to computer science students. ANITA allows students to write their proofs and automatically checks whether the proofs are correct and, if not, displays any errors found.

Registry - Source - Documentation - JSON
purl: pkg:pypi/anita
Keywords: Analytic Tableaux, Teaching Logic, Educational Software, analytic-tableaux, logic, proof-assistant, teaching-tools
License: MIT
Latest release: 8 months ago
First release: over 1 year ago
Downloads: 41 last month
Stars: 20 on GitHub
Forks: 0 on GitHub
Total Commits: 58
Committers: 4
Average commits per author: 14.5
Development Distribution Score (DDS): 0.466
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 7 days ago

    Loading...
    Readme
    Loading...