We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
d0db4d1
Original version of Peter Selinger's fitch.sty, v0.5, from https://www.mathstat.dal.ca/~selinger/fitch/