#51 - s/Coq/Rocq - Nicolas Tabareau | Type Theory Forall | Podwise