formal-land/coq-of-rust
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
Language:Coq
Total stars: 232
Stars trend:
15 May 2024
6am ▎ +2
7am ▊ +6
8am █▌ +12
9am ▊ +6
10am ▊ +6
11am █▍ +11
12pm █ +8
1pm ▉ +7
2pm ▉ +7
3pm ▋ +5
4pm ▌ +4
5pm █ +8
#coq
#coq, #formalverification, #proof, #rust