4 ms·

The Incredible Proof Machine for learning various logics: http://incredible.pm/ http://incredible.pm/