A rule-based incremental reasoner for the Web.
Equational reasoning based on the unfailing Knuth-Bendix completion procedure
nodes used to evaluate device context given an expression
A TypeScript wrapper for the EYE reasoner
A useful tool for uncanny logical reasoning. NOTICE: This is not a real package!