@inata we got giant birds that eat elephants doing fact checking

@georgespolitzer im pretty sure this is about rocq the proof assistant, it checks if your proof is correct

@lottie ohh.. I was joking about the mythical bird the roc hehe

@georgespolitzer yep that's what its named after... inria names all its tools after birds