- Reckon🧮 — A theorem prover and logical inference library in Rust https://github.com/adam-mcdaniel/reckon 6 comments rust
Linked pages
- Dune Shell https://adam-mcdaniel.github.io/dune-website/ 136 comments
- GitHub - rust-lang/mdBook: Create book from markdown files. Like Gitbook but implemented in Rust https://github.com/rust-lang/mdBook 57 comments
- Sage Programming Language https://adam-mcdaniel.net/sage-website 55 comments
- Install Rust - Rust Programming Language https://www.rust-lang.org/tools/install 24 comments
- Installation - The Cargo Book https://doc.rust-lang.org/cargo/getting-started/installation.html 7 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 - adam-mcdaniel/reckon: A reasonable theorem prover for your reasoning tasks!
See how to search.