Kevinalbs
Stupid Smart Pointers in C
๐9๐ญ1
โค2๐ญ1
๐1๐ญ1
๐ค5๐ญ1๐จ1
GitHub
GitHub - formal-land/rocq-of-rust: Formal verification tool for Rust: check 100% of execution cases of your programs to make safeโฆ
Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains. - formal-land/rocq-of-rust
โค17๐ฉ11๐8๐2๐คฏ2๐คฎ1๐คก1๐ญ1