🐧 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.
-
Updated
Nov 11, 2025 - JavaScript
#
proofchecker
Here are 2 public repositories matching this topic...
Skills I developed for writing Stat papers
-
Updated
Aug 31, 2026 - Python
Add this topic to your repo
To associate your repository with the proofchecker topic, visit your repo's landing page and select "manage topics."