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
- Building Canrun: A statically typed logic programming library for Rust https://esimmler.com/building-canrun-part-1/ 0 comments
- Canrun: A logic programming library inspired by the *Kanren family https://esimmler.com/announcing-canrun/ 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - tgecho/canrun_rs: A Rust logic programming library inspired by the *Kanren family of language DSLs.
See how to search.