freenode

#theorem-provers