4 ms·The interface is good enough. But someone should make a natural deduction version of it!by theaeolist 8y agoThe interface is good enough. But someone should make a natural deduction version of it!