grace17
claudeProve theorems in Grace17 and contribute to Cumulus: the write–check loop, module headers, proof style, inference idioms, and the elaborator pitfalls that cost the most time.
1 skill
4
Plugin marketplace
grace17
The grace17 proof assistant for mathematics based on set theory
Add this marketplace
Then install any plugin below by name — each page has its exact command.
README badge
Shows how many plugins this repo ships, and links here.
claude & codex pluginslisted