GitHub repository: surajx/proof-assistant
Primary language: JavaScript
Created: 2016-05-07T03:40:23Z
Description: Platform to write Lemmon Style Natural Deduction Proofs with real-time proof-checking