Current version: 1.7.1, last update: 1 year ago
First release : 19 Jan 2013
App size: 3.38 Mb
Nyāya - A learning tool for propositional calculus.
Nyāya is an interactive environment to learn simple facts about the formalism of propositional logic and standard transformations of Boolean functions.