coqffi 1.0.0~beta3 is a thing 🎉
https://coq.discourse.group/t/towards-coqffi-1-0-0-call-for-testers/1152/3
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!