Hacker News
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
- Realizing this is getting out of hand, Coq mulls new name for programming language • The Register https://www.theregister.com/2021/06/15/coq_programming_language_change/ 241 comments
- Software Foundations https://softwarefoundations.cis.upenn.edu/ 61 comments
- Existential types in Rust | varkor’s blog https://varkor.github.io/blog/2018/07/03/existential-types-in-rust.html 2 comments
- Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-idris 1 comment
Related searches:
Search whole site: site:dylanj.xyz
Search title: Formally Verifying Rust's Opaque Types | dylanj.xyz
See how to search.