This is a basic website I created to ease the workflow of my CS logic class. The website takes human-readable(ish) symbolic logic and converts it to LaTeX-compatible text. Just copy and paste the resultant textbox into your LaTeX file.
MilanDonhowe/logical-latext
Basic HTML website that takes more human-readable symbolic logic and converts it to aligned LaTeX.
JavaScript