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