chore(*): lean-mode is now a separate package - Githubissues

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

chore(*): lean-mode is now a separate package #71

Closed Kha closed 7 years ago