PrototypeCommune
JetBrains-Research/coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
- Propriétaire
- JetBrains-Research (organisation)
- Étoiles
- Étoiles : 130
- Forks
- Forks : 6
- Langage
- TypeScript
- Licence
- LGPL-2.1
- Création
- 2023
- Sujets
- code-generationcoqformal-methodsllmtheorem-prover
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de JetBrains-Research
Les 9 dépôts de JetBrains-Research- JetBrains-Research/reflektÉtoiles : 378KotlinAlpha
- JetBrains-Research/astminerÉtoiles : 299KotlinAlpha
- JetBrains-Research/kinferenceÉtoiles : 211KotlinPrototype
- JetBrains-Research/kotlinllm-pluginÉtoiles : 177KotlinPrototype
- JetBrains-Research/viktorÉtoiles : 142KotlinPrototype
- JetBrains-Research/kotlinx.fuzzÉtoiles : 127KotlinPrototype
D’autres dépôts TypeScript
Tous les dépôts TypeScript- Stellar-hush/hushÉtoiles : 130TypeScriptPrototype
- Stellar-Kolo/kolo-frontendÉtoiles : 130TypeScriptPrototype
- Stellar-Clear/clearledgerÉtoiles : 130TypeScriptPrototype
- ku/CreateLinkÉtoiles : 130TypeScriptPrototype
- spathon/Visual-JOINÉtoiles : 130TypeScriptPrototype
- ratneshsinghparihar/Node-DataÉtoiles : 130TypeScriptPrototype