User : JAnicaTZ

Created: 1768326750
Karma: 1
Mathematical logician and Java developer. Author of a recursive logic tree engine (FOL, propositional logic, CNF/DNF minimization), originally built in 2002 and now open-sourced at: https://treeofknowledge.eu