search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

(fix): purging last reference to Gitter #75

Closed kbuzzard closed 5 years ago

kbuzzard commented 5 years ago

We are not there any more.