language-lean
JavaScript
★ 3
updated 9y ago
An Atom package for the Lean language
No plain-English explanation yet — one is being written right now. Check back in a minute.
gitmyhub
gitmyhub
An Atom package for the Lean language
No plain-English explanation yet — one is being written right now. Check back in a minute.