seanpm2001 / SNU_2D_ProgrammingTools_IDE_Lean

The Lean Programming language IDE submodule for SNU Programming Tools.

https://github.com/seanpm2001/SNU_2D_ProgrammingTools/

Geek Repo

Github PK Tool