lean4-skills

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

このページのプロジェクト情報と編集内容は無料で読めます。元の GitHub リポジトリが最終的な情報源であり、保存や議論への参加時だけログインが必要です。