PrototypeCommune
ammkrn/nanoda_lib
Library implementing type inference/checking functionality based on the Lean theorem prover
- Propriétaire
- ammkrn (compte personnel)
- Étoiles
- Étoiles : 223
- Forks
- Forks : 43
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- keycompute/keycomputeÉtoiles : 223RustPrototype
- Louisym/MiniCCÉtoiles : 223RustPrototype
- sysprog21/codetrialÉtoiles : 223RustPrototype
- hyperium/mimeÉtoiles : 223RustPrototype
- snowplow/factotumÉtoiles : 223RustPrototype
- matrix-org/matrix-ircdÉtoiles : 223RustPrototype