1 repository with Claude Code or Codex plugins.
The grace17 proof assistant for mathematics based on set theory
1 plugin · grace17-prover/grace17