freenode

#formal-methods