https://github.com/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.

canvas derivation education exercises logic lti moode philosophy-course proofchecker

Last synced: 01 May 2025