GitHub repository: Deseteral/tautology
Primary language: JavaScript
Created: 2016-04-14T08:49:10Z
Description: Web app that evaluates propositional calculus formula and checks whether it is a tautology