Skip to main content
ClaudeWave
zengineco avatar
Owner GitHub

zengineco

1 repositorios en el ecosistema Claude AI, indexados y rankeados por ClaudeWave.

Ver en GitHub
1 repositorios2 estrellasÚltima actividad today
CategoríasHerramientas1
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