crates.io "theorem-proving" keyword
View the packages on the crates.io package registry that are tagged with the "theorem-proving" keyword.
razor 0.1.0
razor is a command-line tool for constructing finite models for first-order theories.1 version - Latest release: over 5 years ago - 1.49 thousand downloads total - 55 stars on GitHub - 1 maintainer
razor-fol 0.1.0
razor-fol is a library for parsing and syntactic manipulation of first-order theories.1 version - Latest release: over 5 years ago - 2 dependent packages - 1 dependent repositories - 2.77 thousand downloads total - 55 stars on GitHub - 1 maintainer
razor-chase 0.1.0
razor-chase implements a variation of The Chase algorithm to find models for theories in geometri...1 version - Latest release: over 5 years ago - 1 dependent package - 2.29 thousand downloads total - 55 stars on GitHub - 1 maintainer