Proof Copilot
Use proof-copilot for 1 plugins
/plugin marketplace add FStarLang/proof-copilot| GitHub stars | ★ 5 |
|---|---|
| Repository | FStarLang/proof-copilot ↗ |
Plugins in this marketplace
1 plugin - install individually after you add the marketplace.
Use proof-copilot for 1 plugins
/plugin marketplace add FStarLang/proof-copilot| GitHub stars | ★ 5 |
|---|---|
| Repository | FStarLang/proof-copilot ↗ |
1 plugin - install individually after you add the marketplace.
Five minutes, every Monday — the tools, releases and tactics for shipping solo.
