The Finch Proof Assistant Readable and writable proofs inspired by Fitch-style natural deduction, often mispronounced as "Finch."