AlphaPeu commune
Certora/CertoraProver
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
- Propriétaire
- Certora (organisation)
- Étoiles
- Étoiles : 339
- Forks
- Forks : 52
- Langage
- Kotlin
- Licence
- GPL-3.0
- Création
- 2025
- Sujets
- blockchaincertoracertora-proverethereumformal-verificationsecurity-toolssmart-contractssolanastellarweb3
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de Certora
Les 4 dépôts de Certora- Certora/TutorialsÉtoiles : 248SolidityPrototype
- Certora/gambitÉtoiles : 214RustPrototype
- Certora/ExamplesÉtoiles : 211SolidityPrototype
D’autres dépôts Kotlin
Tous les dépôts Kotlin- ArisGuimera/AndroidNotificationsExampleÉtoiles : 339KotlinAlpha
- dsa28s/compose-videoÉtoiles : 339KotlinAlpha
- CodeWorksCreativeHub/EasyLauncherÉtoiles : 339KotlinAlpha
- ResoCoder/forecast-mvvm-android-kotlinÉtoiles : 339KotlinAlpha
- juanchosaravia/autodslÉtoiles : 339KotlinAlpha