Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "Educational Software" keyword
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: 10 months ago - 37 downloads last month - 10 stars on GitHub - 1 maintainer
automaton2bpmn 0.0.3
Automaton2bpmn is a library for converting automata (teocomp package) to bpmn.3 versions - Latest release: over 1 year ago - 1 dependent repositories - 29 downloads last month - 1 stars on GitHub - 1 maintainer
teocomp 0.1.11
TeoComp is a library for teaching Automata Theory, Languages and Theory of Computing.11 versions - Latest release: 9 months ago - 1 dependent repositories - 52 downloads last month - 4 stars on GitHub - 1 maintainer
anita 0.1.13
ANITA is a proof assistant for teaching analytic tableaux to computer science students. ANITA all...13 versions - Latest release: 7 months ago - 41 downloads last month - 20 stars on GitHub - 1 maintainer
Related Keywords
Teaching Logic
3
logic
2
proof-assistant
2
Teaching Theory of Computing
2
Recursive Function (Kleene)
2
Theory of Computing
2
Automata Theory
2
Languages
2
Lambda-Calculus
2
teaching-tools
1
analytic-tableaux
1
Analytic Tableaux
1
First-Order Logia
1
Propositional Logic
1
natural-deduction
1
educational-software
1
Natural Deduction
1