proofchecker
There are 1 repositories under proofchecker topic.
frabjous/logicpenguin
🐧 Logic Penguin 🐧 aims to be a flexible, extensible, open source, and self-hostable framework for online exercises for introductory logic problems, and interfaces with LMS systems.