formal-land/rocq-of-rust
@formal-landFormales Verifizierungstool für Rust: Überprüft 100 % der Ausführungsfälle Ihrer Programme für sicherere Anwendungen.
Sterne
1.164
Forks
44
Sprache
Rocq Prover
Lizenz
—
Letzter Push
vor 9 Stunden
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.