Student feedback: "Would love for the proof-writing exercises to make alignment easier (hitting tab could automatically put one | and a space instead of having to type it out each time, could preserve indentation when going to newline like most programming software does). Maybe have hotkeys to type the logic symbols (arrow, not, contradiction, etc) as it makes the proofs look a lot cleaner than when they're written as words."
Student feedback: "Would love for the proof-writing exercises to make alignment easier (hitting tab could automatically put one | and a space instead of having to type it out each time, could preserve indentation when going to newline like most programming software does). Maybe have hotkeys to type the logic symbols (arrow, not, contradiction, etc) as it makes the proofs look a lot cleaner than when they're written as words."