Follow
Coq, but when I type "Proof." the pokemon battle music starts and when I type "auto." it says "Tactic is not very effective"
Server run by the main developers of the project 
It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!