Porting in C# of Pandora: a graphical user interface that provides point-and-click creation of natural deduction proofs.