Skip to content

Add LeanNotebook: Interactive Tutorial System for Learning Lean and Physical Mathematics - #8

Draft
ewdlop with Copilot wants to merge 6 commits into
mainfrom
copilot/resolve-lean-notebook-issue
Draft

Add LeanNotebook: Interactive Tutorial System for Learning Lean and Physical Mathematics#8
ewdlop with Copilot wants to merge 6 commits into
mainfrom
copilot/resolve-lean-notebook-issue

Add comprehensive FILE_GUIDE for easy navigation

05d7f9f
Select commit
Loading
Failed to load commit list.

There are no checks for this commit