Knuth-Bendix Completion Calculatorkarldray.com4 points·karldray··0 commentsOpen articleSaveView on HN