First complete version of a simple Fitch's style proof editor