A Fitch's style natural deduction proof editor