ccnmtl/logiclearner
Logic Learner is an online learning tool that helps computer science, engineering, and mathematics students improve their fluency and problem solving process in writing proofs for propositional logic.
GitHub repository with 5 stars and 2 forks.
Language: TypeScript