lambda-rust

gitlab.mpi-sws.orgsite

Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   Rust Programming Language rust-lang.org

   , a systems language which achieves memory- and thread-safety without a garbage collector!

   site topic programming link ↗
   
2. ▲

   rustls/rustls github.com

   Implementation of TLS

   tool link ↗
   
3. ▲

   Rust rust-lang.org

   site topic programming link ↗
   site
4. ▲

   Rust RFCs rust-lang.github.io

   Proposals to evolve the Rust language.

   site topic programming link ↗
   site
5. ▲

   The Rust Programming Language github.com

   site topic programming link ↗
   site
6. ▲

   verus-lang/verus github.com

   Verified Rust for low-level systems code

   tool topic programming link ↗
   

Coq › Projects > Verified Software: “Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries.”