GitHub repository: James-Oswald/lazyslate
Primary language: JavaScript
Created: 2022-11-05T04:40:05Z
Description: An open source graphical proof construction assistant for the creation of Natural Deduction proofs. Started as a Hack RPI 2022 Project