- AdvancedResearch releases a generic linear solver - an automated theorem prover that can be used with Rust enums https://github.com/advancedresearch/linear_solver 12 comments rust
Linking pages
- 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/linear_solver: A linear solver designed to be easy to use with Rust enums.
See how to search.