mackwai/UnaryPredicateLogic
Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic.
Discovered public repositories for mackwai in the GitHub catalog.
Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic.
Public repository.
a browser-based drum machine done entirely with HTML5