GitHub repository: InfiniteEchoes/coq-jokes
Primary language: Coq
Created: 2025-03-24T06:32:34Z
Description: Best jokes in the world, formally verified