Why Rocq is better than Lean for program verification

They needed to talk to the other women who chose to do Coq because of its name. Maybe we need more of these in CS.

Proving once again that immature, misogynist comments made it necessary to change the name. You couldn't help yourself?