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?