Linking pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
- This Week in Rust 451 · This Week in Rust https://this-week-in-rust.org/blog/2022/07/13/this-week-in-rust-451/ 1 comment
- 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
Related searches:
Search whole site: site:arxiv.org
Search title: [2207.04034] Flux: Liquid Types for Rust
See how to search.