creusot-rs/creusot

Creusot membantu Anda membuktikan bahwa kode Rust Anda benar.

↗ Buka di GitHub

Bintang

1.836

Fork

90

Bahasa

Rust

Lisensi

LGPL-2.1

Push terakhir

1 minggu yang lalu

Rust rust rust-lang formal-methods formal-verification proof verification contracts deductive-reasoning why3

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.