https://gitlab.mpi-sws.org/iris/lambda-rust

The Coq development of LambdaRust
https://gitlab.mpi-sws.org/iris/lambda-rust

Last synced: 10 months ago
JSON representation

The Coq development of LambdaRust

• Host: gitlab.mpi-sws.org
• URL: https://gitlab.mpi-sws.org/iris/lambda-rust
• Owner: iris
• License: bsd-3-clause
• Created: 2016-05-04T12:00:54.344Z (about 10 years ago)
• Default Branch: master
• Last Synced: 2024-08-21T07:31:04.862Z (almost 2 years ago)
• Stars: 3
• Forks: 10
• Open Issues:

Awesome Lists containing this project

• awesome-coq - lambda-rust - Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries. (Projects / Verified Software)