This is an implementation of a proof assistant using the fitch notation.
A rust implementation of fitch notation