search

dominique-unruh / scala-isabelle

A Scala library for controlling/interacting with Isabelle
https://dominique-unruh.github.io/scala-isabelle
MIT License
37 stars 7 forks source link

Add a Gitter chat badge to README.md #1

Closed gitter-badger closed 4 years ago

gitter-badger commented 4 years ago

dominique-unruh/scala-isabelle now has a Chat Room on Gitter

@dominique-unruh has just created a chat room. You can visit it here: https://gitter.im/dominique-unruh/scala-isabelle.

This pull-request adds this badge to your README.md:

Gitter

If my aim is a little off, please let me know.

Happy chatting.

PS: Click here if you would prefer not to receive automatic pull-requests from Gitter in future.