Alexander Maringele

Nyāya - A learning tool for propositional calculus.Nyāya is an interactive environment to learn simple facts about the formalism of propositional logi …