Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: learn-lang

seanpm2001/SNU_2D_ProgrammingTools_IDE_Lean

The Lean Programming language IDE submodule for SNU Programming Tools.

Language: Lean - Size: 314 KB - Last synced at: 4 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

Related Keywords
gpl3 1 gplv3 1 ide 1 lean 1 lean-language 1 learn-lang 1 md 1 programming 1 snu 1 snu-2d 1 snu-2d-programming-tools 1 snu-2d-programmingtools 1 snu-development 1 snu-programming-tools 1 snu2d-programmingtools 1 snu2dprogrammingtools 1 snuprogrammingtools 1 txt 1 web-development 1 web-ide 1