Adds a template for Lean4 Projects#25
Open
dhruvrajan wants to merge 4 commits intofirebase-studio:mainfrom
Open
Adds a template for Lean4 Projects#25dhruvrajan wants to merge 4 commits intofirebase-studio:mainfrom
dhruvrajan wants to merge 4 commits intofirebase-studio:mainfrom
Commits
Commits on Oct 20, 2024
- committed
- committed
- committed
- committed
