formal-land/coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
CoqAGPL-3.0
Stargazers
- 01tpaabr
- acorrensonCISPA Helmholtz Center for Information Security
- andreyklFormal Land
- brendanzab@yeslogic
- clarusFormal Land
- cosmicexplorer@LLNL
- dconnollySandboxAQ
- DemuirgosNethermind
- dphov@dphov
- fuyu0425Georgia Tech
- hmyuuu
- Hua-hanaShanghai Jiao Tong University
- huynhtrankhanh@coq-community
- ibx34
- jd-hernandezEncora, Inc.
- joom@Bloomberg
- jsonzillaAltoQi
- marcpinetSAP
- markhakanssonDuctus
- minalspatilUmeå universitet
- monadplusEurope
- nikitavoloboevSpain
- omasanoriJapan
- omnisci3nceMelbourne, Victoria, Australia
- pczarnPoland
- philzook58Draper
- Rel1cxWuhan
- shiranui9231
- SimpleConjugate
- spica314Yokkaichi, Japan
- tkersey@thisisartium
- vanilla-extractsDevOps Engineer, State Civil Servant
- wert310
- wigustThe land of lisp
- XBagonNuremberg, Germany
- zdimensionRapid.Space