#

learn-lang

Here is 1 public repository matching this topic...

SNU_2D_ProgrammingTools_IDE_Lean

seanpm2001 / SNU_2D_ProgrammingTools_IDE_Lean

The Lean Programming language IDE submodule for SNU Programming Tools.

Updated Sep 19, 2022
Lean

Improve this page

Add a description, image, and links to the learn-lang topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the learn-lang topic, visit your repo's landing page and select "manage topics."