afhverjuekki/claude-code-aristotle-plugin

Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4

10Stars on the repository
6Mods indexed here, across every type
7mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

Nothing here yet

This corner of the catalogue is empty. The crawl runs nightly, so it may not be for long.