search

leanprover / leanprover.github.io

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

Add link to Gitter chat room under documentation. #68

Closed alashworth closed 6 years ago

alashworth commented 7 years ago

Add link to Gitter chat room.