- Monotonic-Solver: Generic Automated Theorem Prover https://github.com/advancedresearch/monotonic_solver 6 comments rust
Linking pages
- GitHub - advancedresearch/linear_solver: A linear solver designed to be easy to use with Rust enums. https://github.com/advancedresearch/linear_solver 13 comments
- GitHub - advancedresearch/avalog: An experimental implementation of Avatar Logic with a Prolog-like syntax https://github.com/advancedresearch/avalog 7 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Linked pages
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - advancedresearch/monotonic_solver: A monotonic solver designed to be easy to use with Rust enum expressions
See how to search.