Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/curegit/knuth-bendix-completion
クヌース・ベンディックス完備化アルゴリズムの OCaml 実装
https://github.com/curegit/knuth-bendix-completion
automated-theorem-provers term-rewriting word-problems
Last synced: about 5 hours ago
JSON representation
クヌース・ベンディックス完備化アルゴリズムの OCaml 実装
- Host: GitHub
- URL: https://github.com/curegit/knuth-bendix-completion
- Owner: curegit
- License: mit
- Created: 2019-04-07T08:31:46.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2023-08-20T08:25:52.000Z (about 1 year ago)
- Last Synced: 2023-08-20T09:26:23.720Z (about 1 year ago)
- Topics: automated-theorem-provers, term-rewriting, word-problems
- Language: OCaml
- Homepage:
- Size: 67.4 KB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 0