Hacker News
- Poi: Pragmatic point-free theorem prover assistant in Rust https://github.com/advancedresearch/poi 35 comments
- AdvancedResearch releases Poi 0.1.0 - a pragmatic point-free theorem prover assistant https://github.com/advancedresearch/poi 6 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
- Tacit programming - Wikipedia https://en.wikipedia.org/wiki/Tacit_programming 135 comments
- 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 - PistonDevelopers/meta: A DSL parsing library for human readable text documents https://github.com/pistondevelopers/meta 4 comments
- Logic - Wikipedia https://en.wikipedia.org/wiki/Logic 0 comments
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/poi: a pragmatic point-free theorem prover assistant
See how to search.