lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

本頁的專案背景與編輯內容均可免費閱讀。原始 GitHub 儲存庫仍是最終依據；只有收藏或參與討論時才需要登入。