/DND

Deamer Natural Deduction, is a language used to natural deduce abstract propositions.

GNU General Public License v3.0GPL-3.0

Stargazers