Thanks to visit codestin.com
Credit goes to github.com

Add support for Lean 4#6616

Merged

lildude merged 19 commits intogithub-linguist:masterfrom

eric-wieser:patch-1

Dec 11, 2023

Commits on Nov 23, 2023

add group

eric-wieser
and
lildude
authored

Commits on Nov 27, 2023

update the vscode package
eric-wieser
committed

Commits on Nov 28, 2023

Delete samples/Lean/set.hlean
eric-wieser
authored

Commits on Nov 29, 2023

fix config file
eric-wieser
committed

Commits on Dec 11, 2023