GitHub - codyroux/knuth-bendix: A naive knuth-bendix completion implementation

codyroux / knuth-bendix Public

A naive knuth-bendix completion implementation

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
.gitignore		.gitignore
group.trs		group.trs
group.trs.out		group.trs.out
main.ml		main.ml
main.mli		main.mli
narrow.ml		narrow.ml
narrow.mli		narrow.mli
parse.ml		parse.ml
parse.mli		parse.mli
print.ml		print.ml
print.mli		print.mli
rew.ml		rew.ml
rew.mli		rew.mli
types.ml		types.ml
types.mli		types.mli