ukb

mafu
js
ukb JS library on npm Download ukb JS library

Equational reasoning based on the unfailing Knuth-Bendix completion procedure

Version 1.2.1 License MIT
ukb has no homepage
ukb JS library on GitHub
ukb JS library on npm
Download ukb JS library
Keywords
equationsreasoningKnuth-Bendixcompletionrewriting
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN