Description

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.

What's New in Version 1.7.1

Minimal update for spring 2022
- fixed crash in bool+tool
- removed broken tutorial
- updated or removed outdated web links
- updated to web kit's web view
- updated project settings