Natural Deduction

Learn Natural Deduction in a fun and visual way! There are over 30 levels (probably), plus a sandbox mode allowing you to make as many different proofs as you want! This (testing pending) contains all the information you need to know what L= means, and build proofs in it!

Technically this is version 0.9 - there are things I'd want to add before releasing it More Generally (like more levels, nicer graphics [or any graphics at all], a few more nicer Ux stuffs, an Esperanto translation), but it's also perfectly functional now (testing pending).