logic

FP Ramsey makes the following observation in the 1927 “Symposium: Facts and Propositions”: We might, for instance, express negation not by inserting a word “not,” but by writing what we negate upside down.

A proof assistant for generating Fitch-style natural deduction proofs.