Skip to content

Add a VSCode config file to recommend the lean4 extension - #301

Merged
GeorgeTsoukalas merged 1 commit into
trishullab:mainfrom
eric-wieser:ext-recommend
Aug 29, 2025
Merged

Add a VSCode config file to recommend the lean4 extension#301
GeorgeTsoukalas merged 1 commit into
trishullab:mainfrom
eric-wieser:ext-recommend

Add a VSCode config file to recommend the lean4 extension

2becebc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.