GitHub repository: nwager/logical-latext
Primary language: JavaScript
Created: 2020-10-16T03:14:39Z
Description: Basic HTML website that takes more human-readable symbolic logic and converts it to aligned LaTeX.