Follow

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?

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

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!