GitHub repository: reubenjsinclair/modallogic
Primary language: JavaScript
Description: Modal Logic Playground