Anyone use Coq? Anyone use Coq to derive code? Anyone use Coq to derive ReactJS components? 😛
Am I about to travel a path into hell?
This is a brand new server run by the main developers of the project as a spin-off of mastodon.social It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!