Skip to main content
Jeden Skill in Manus ausführen
mit einem Klick

verification

// Verification tools for compiling, validating, and disproving Lean theorems

$ git log --oneline --stat
stars:236
forks:25
updated:7. April 2026 um 08:42
Datei-Explorer
4 Dateien
SKILL.md
readonly