# formal-land/rocq-of-rust

<https://repo.masters-masters.com/en/repos/formal-land/rocq-of-rust>

[Home](https://repo.masters-masters.com/en) › [formal-land](https://repo.masters-masters.com/en/owners/formal-land) › [rocq-of-rust](https://repo.masters-masters.com/en/repos/formal-land/rocq-of-rust)

formal-land/rocq-of-rust has 1,194 stars on GitHub. Its RepoMasters card: Beta tier. Formal verification tool for Rust: check 100% of execution cases of your…

| Field | Value |
| --- | --- |
| Owner | [formal-land](https://repo.masters-masters.com/en/owners/formal-land) |
| Stars | 1,194 |
| Forks | 43 |
| Language | [Rocq Prover](https://repo.masters-masters.com/en/languages/rocq-prover) |
| License | None |
| Created | 2022 |
| Topics | formal-verification, rust, proof, rocq |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [formal-land/rocq-of-rust](https://github.com/formal-land/rocq-of-rust) |

## Repository

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by formal-land

- [formal-land/rocq-of-ocaml · ★ 279 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/formal-land/rocq-of-ocaml)

## Nearby in Rocq Prover

- [AbsInt/CompCert · ★ 2,268 · Rocq Prover · RC](https://repo.masters-masters.com/en/repos/AbsInt/CompCert)
- [gustavo-depaula/stalin-sort · ★ 1,712 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/gustavo-depaula/stalin-sort)
- [HoTT/Coq-HoTT · ★ 1,407 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/HoTT/Coq-HoTT)
- [UniMath/UniMath · ★ 1,022 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/UniMath/UniMath)
- [mit-plv/fiat-crypto · ★ 851 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/mit-plv/fiat-crypto)
- [magmide/magmide · ★ 841 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/magmide/magmide)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.