Pinned places
More thoughts on claiming · baby steps
Claiming, auto and otherwise · baby steps
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.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. - newca12/aw...
References are like jumps
Let futures be futures
Compiler Development: Rust or OCaml?