THE MARTYR OF BUTLERIAN JIHAD on Nostr: Bricky my favourite was Le Coq tbh :akko_giggle:​ ...

Bricky (npub1p33…g47r) my favourite was Le Coq tbh ​

https://github.com/coq/coq/wiki/Alternative-names

There's the list of other options.