Logic Penguin

logic penguin
sample derivation

Logic penguin penguin aims to be a flexible open source and self-hostable framework for online exercises for introductory logic problems, and interfaces with LMS systems such as moodle and canvas using the LTI protocol.

🚧🚧🚧 Logic penguin is still relatively early in its development, as is this webpage. More to come. 🚧🚧🚧

You can track my progress on the project GitHub page <https://github.com/frabjous/logicpenguin>.

Copyright © 2023 Kevin C. Klement