6 packages found

M
Q
P

Description

A rule-based incremental reasoner for the Web.

Keywords

Publisher

published 1.10.2a month ago
M
Q
P

Description

Equational reasoning based on the unfailing Knuth-Bendix completion procedure

Keywords

Publisher

published 1.0.0a year ago
M
Q
P

Description

nodes used to evaluate device context given an expression

Keywords

Publisher

published 0.1.4a year ago
M
Q
P

Description

A TypeScript wrapper for the EYE reasoner

Keywords

Publisher

published 0.0.27 months ago
M
Q
P
M
Q
P

Description

A useful tool for uncanny logical reasoning. NOTICE: This is not a real package!

Keywords

Publisher

published 0.0.14 years ago