Richard Bornat, Sufrin

Free
Graphical proof calculator that allows custom logic and proof views.