PrototypeCommon
JetBrains-Research/coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
- Owner
- JetBrains-Research (organization)
- Stars
- Stars: 130
- Forks
- Forks: 6
- Language
- TypeScript
- License
- LGPL-2.1
- Created
- 2023
- Topics
- code-generationcoqformal-methodsllmtheorem-prover
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by JetBrains-Research
All 9 repos by JetBrains-Research- JetBrains-Research/reflektStars: 378KotlinAlpha
- JetBrains-Research/astminerStars: 299KotlinAlpha
- JetBrains-Research/kinferenceStars: 211KotlinPrototype
- JetBrains-Research/kotlinllm-pluginStars: 177KotlinPrototype
- JetBrains-Research/viktorStars: 142KotlinPrototype
- JetBrains-Research/kotlinx.fuzzStars: 127KotlinPrototype
Nearby in TypeScript
All TypeScript repos- Stellar-hush/hushStars: 130TypeScriptPrototype
- Stellar-Kolo/kolo-frontendStars: 130TypeScriptPrototype
- Stellar-Clear/clearledgerStars: 130TypeScriptPrototype
- ku/CreateLinkStars: 130TypeScriptPrototype
- spathon/Visual-JOINStars: 130TypeScriptPrototype
- ratneshsinghparihar/Node-DataStars: 130TypeScriptPrototype