- Poi 0.15 released! New mode for goal oriented theorem proving https://crates.io/crates/poi 5 comments rust
Linking pages
- GitHub - advancedresearch/path_semantics: A research project in path semantics, a re-interpretation of functions for expressing mathematics https://github.com/advancedresearch/path_semantics 17 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
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:crates.io
Search title: Poi 0.15 released! New mode for goal oriented theorem proving
See how to search.