MathicsBot IRC bot for #mathics on irc.freenode.org License MathicsBot is released under the GNU General Public License (GPL).