Formal methods are cool because they're in line with Engelbart's dream of utilizing computation to augment human reasoning capabilities. Incidentally, that's also why math and logic are cool. By offloading thinking into symbols we free up valuable mental resources to worry about other problems. That last one is paraphrasing Alfred North Whitehead, "Civilization advances by extending the number of important operations which we can perform without thinking of them".
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!