LogicWriter

LogicWriter is a webapp to make it easy to write the symbolic math used in formal and informal proofs using symbolic (Boolean) logic. Rather than generating LaTeX or graphics, it generates the Unicode for the symbols. This makes it easy to copy-paste into chat windows (e.g. Discord or DM), text or Word processor documents, etc. We are not thinking of it as a replacement to LaTeX. It is designed specifically to help beginners out when they are just learning symbolic logic operations and writing both formal and informal derivations with the new notation. Just follow the link and it will run in your browser. It may take a few seconds to load up.

Link to LogicWriter

Link to a variant with just the basic Boolean symbols visible by default. Better if you don't need more, or who have devices with smaller screens.

Schedule Fall 2022 and beyond

Subject to further revision.

Other meetings

Ph.D student advising t.b.a.
CS Department faculty meetings, occasionally tbd.