# newca12/awesome-rust-formalized-reasoning

<https://repo.masters-masters.com/en/repos/newca12/awesome-rust-formalized-reasoning>

[Home](https://repo.masters-masters.com/en) › [newca12](https://repo.masters-masters.com/en/owners/newca12) › [awesome-rust-formalized-reasoning](https://repo.masters-masters.com/en/repos/newca12/awesome-rust-formalized-reasoning)

newca12/awesome-rust-formalized-reasoning has 400 stars on GitHub. Its RepoMasters card: Alpha tier. An exhaustive list of all Rust resources regarding…

| Field | Value |
| --- | --- |
| Owner | [newca12](https://repo.masters-masters.com/en/owners/newca12) |
| Stars | 400 |
| Forks | 14 |
| Language | No language |
| License | MIT |
| Created | 2021 |
| Topics | formal-verification, prover, automated-theorem-provers, theorem-prover, reasoning, logic, constructive-mathematics, dependent-types, theorem-proving, proof-assistants |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [newca12/awesome-rust-formalized-reasoning](https://github.com/newca12/awesome-rust-formalized-reasoning) |

## Repository

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.