AlphaPeu commune
anthropics/FlashProve
A research prototype for zero-knowledge proofs of AI inference. Not maintained.
- Propriétaire
- anthropics (organisation)
- Étoiles
- Étoiles : 583
- Forks
- Forks : 51
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de anthropics
Les 68 dépôts de anthropics- anthropics/skillsÉtoiles : 187 192PythonLTS
- anthropics/claude-codeÉtoiles : 154 455TypeScriptLTS
- anthropics/claude-cookbooksÉtoiles : 54 179Jupyter NotebookLTS
- anthropics/claude-plugins-officialÉtoiles : 46 029PythonLTS
- anthropics/financial-servicesÉtoiles : 41 032PythonLTS
- anthropics/prompt-eng-interactive-tutorialÉtoiles : 39 028Jupyter NotebookLTS
D’autres dépôts Lean
Tous les dépôts Lean- uwdb/CosetteÉtoiles : 690LeanAlpha
- litexlang/golitexÉtoiles : 685LeanAlpha
- AndrasKovacs/smallttÉtoiles : 611LeanAlpha
- teorth/equational_theoriesÉtoiles : 565LeanAlpha
- lecopivo/SciLeanÉtoiles : 544LeanAlpha
- jinshanmu/CrouzeixConjectureÉtoiles : 532LeanAlpha