AlphaPeu commune
PrincetonUniversity/VST
Verified Software Toolchain
- Propriétaire
- PrincetonUniversity (organisation)
- Étoiles
- Étoiles : 515
- Forks
- Forks : 106
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2014
- Sujets
- coqcoq-vstcompcertccoq-libraryverificationproofproof-assistantformal-methodsformal-verification
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de PrincetonUniversity
Les 14 dépôts de PrincetonUniversity- PrincetonUniversity/openpitonÉtoiles : 838AssemblyBêta
- PrincetonUniversity/athenaÉtoiles : 376C++Alpha
- PrincetonUniversity/multi_gpu_trainingÉtoiles : 375PythonAlpha
- PrincetonUniversity/LLMCompassÉtoiles : 293PythonAlpha
- PrincetonUniversity/prgaÉtoiles : 212SCSSPrototype
- PrincetonUniversity/athena-public-versionÉtoiles : 162C++Prototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- math-comp/math-compÉtoiles : 707Rocq ProverBêta
- uwplse/verdiÉtoiles : 627Rocq ProverAlpha
- MetaRocq/metarocqÉtoiles : 567Rocq ProverAlpha
- rocq-prover/vsrocqÉtoiles : 464Rocq ProverAlpha
- jasmin-lang/jasminÉtoiles : 389Rocq ProverAlpha
- ccz181078/Coq-BB5Étoiles : 377Rocq ProverAlpha