leanbot

irc

IRC-bot written in Lean (https://leanprover.github.io/)

How to download and setup leanbot

Open terminal and run command

git clone https://github.com/forked-from-1kasper/leanbot.git

git clone is used to create a copy or clone of leanbot repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with leanbot https://github.com/forked-from-1kasper/leanbot/archive/master.zip

Or simply clone leanbot with SSH

[email protected]:forked-from-1kasper/leanbot.git

If you have some problems with leanbot

You may open issue on leanbot support forum (system) here: https://github.com/forked-from-1kasper/leanbot/issues

Similar to leanbot repositories

Here you may see leanbot alternatives and analogs

weechat matterbridge ios twisted jitsi marvin hammerspoon thelounge Mojo-Webqq hexchat irssi znc sopel Mojo-Weixin glowing-bear inspircd convos ircv3-specifications ergo dispatch znc-push quassel Limnoria bitlbee awesome-irc sockethub irc Yaaic weed Whonix