Natural Deduction

Изучайте естественную дедукцию в веселой и наглядной форме! Есть более 30 уровней (вероятно), а также режим песочницы, позволяющий вам делать столько разных доказательств, сколько вы хотите! Это (ожидается тестирование) содержит всю информацию, которая вам нужна, чтобы знать, что означает L=, и строить доказательства!

Технически это версия 0.9 — есть вещи, которые я хотел бы добавить, прежде чем выпустить ее в более общем плане (например, больше уровней, более приятная графика [или вообще любая графика], несколько более приятных функций Ux, перевод на эсперанто), но теперь он также отлично работает (ожидается тестирование).