Info
This post is auto-generated from RSS feed The Rust Programming Language Forum - Latest topics. Source: Creusot: Devlog
Creusot: Devlog
⚓ Rust 📅 2026-01-19 👤 surdeus 👁️ 4
We've just started a devlog for the Creusot project, a deductive verifier for Rust. If you're a fan of formal methods for Rust, I hope you'll find it interesting.
1 post - 1 participant
🏷️ Rust_feed