(experimental) Conceptual s-expression based typed term graph rewriting system
Why do you think that https://github.com/sarsko/CreuSAT is a good alternative to reasoner.js
(experimental) Conceptual s-expression based typed term graph rewriting system
Why do you think that https://github.com/sarsko/CreuSAT is a good alternative to reasoner.js