PrototypeCommune
au-ts/cogent
Cogent Project
- Propriétaire
- au-ts (organisation)
- Étoiles
- Étoiles : 184
- Forks
- Forks : 28
- Langage
- Isabelle
- Licence
- Aucune
- Création
- 2016
- Sujets
- file-systemsverificationprogramming-languagesisabelle-holco-generation
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de au-ts
Les 2 dépôts de au-ts- au-ts/lionsosÉtoiles : 283CAlpha
D’autres dépôts Isabelle
Tous les dépôts Isabelle- seL4/l4vÉtoiles : 659IsabelleAlpha
- pirapira/eth-isabelleÉtoiles : 245IsabellePrototype
- elastic/elasticsearch-formal-modelsÉtoiles : 216IsabellePrototype
- marlowe-lang/marloweÉtoiles : 174IsabellePrototype
- seL4/isabelleÉtoiles : 143IsabellePrototype
- awslabs/AutoCorrodeÉtoiles : 114IsabellePrototype