Skip to main content
ClaudeWave
zengineco avatar
GitHub owner

zengineco

1 repositories in the Claude AI ecosystem, indexed and ranked by ClaudeWave.

View on GitHub
1 repositories2 starsLast activity today
CategoriesTools1
zengineco
gonzalgo
today

Find Lean 4 theorems resting on an inherited sorry or on native_decide, anywhere upstream. Axiom provenance for Lean and Metamath. kernel > sorry

20Python
Toolsaxiom-of-choiceciInstall