curry-howard-game
claudePlay the Curry–Howard game with a tutor at your elbow: the game opens in your own browser and Claude follows the position move by move.
1 skill · 2 commands
0
Plugin marketplace
curry-howard-game
The Curry–Howard Game and its tutor: play a natural-deduction proof and a typed program as one activity, with Claude following the position.
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