https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev

https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev

Last synced: 12 days ago
JSON representation

• Host: gitlab.mpi-sws.org
• URL: https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev
• Owner: lgaeher
• License: apache-2.0
• Created: 2023-06-12T08:23:50.836Z (over 2 years ago)
• Default Branch: main
• Last Synced: 2024-10-11T00:02:20.914Z (about 1 year ago)
• Stars: 3
• Forks: 1
• Open Issues:

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - RefinedRust - type system for high-assurance verification of Rust Programs. (Projects / Verification)
• Awesome-Rust-Checker - RefinedRust¹ - Assurance Verification of Rust Programs. Paper: [RefinedRust, PLDI'24](https://dl.acm.org/doi/10.1145/3656422)| Radium | - | - | 2025-01-03 | (Verifiers)