Deamer Natural Deduction, is a language used to natural deduce abstract propositions.
GNU General Public License v3.0GPL-3.0