GitHub / francoisschwarzentruber / tools-for-teaching-logic
A list of tools for teaching logic
Stars: 2
Forks: 0
Open issues: 0
License: gpl-3.0
Language:
Size: 17.6 KB
Dependencies parsed at: Pending
Created at: almost 2 years ago
Updated at: over 1 year ago
Pushed at: almost 2 years ago
Last synced at: 2 months ago
Commit Stats
Commits: 4
Authors: 1
Mean commits per author: 4.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/francoisschwarzentruber/tools-for-teaching-logic
Topics: education, educational-project, list, logic, logic-programming, modal-logic, model-checking, multi-agent-systems, proof-systems, sat-solver