RepositórioGitHub
newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Inglês
Já usou este conteúdo?
Seja a primeira pessoa a avaliar — a nota entra no ranking da busca.
- Fonte
- GitHub
- Endereço
- https://github.com/newca12/awesome-rust-formalized-reasoning
- Autoria
- newca12
- Tecnologias
- Rust
- Curadoria
- Revisado pela equipe do DevEducation
O DevEducation não hospeda este conteúdo. Todo o material pertence a newca12 e é acessado diretamente em github.com.