Found 1 repositories(showing 1)
afhverjuekki
Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4
All 1 repositories loaded