æʃliŋ, ring racers purropawgandist: "no longer pawsible to use Coq and get that Peano …" - 📟🐱 GlitchCat

Jan 23, 2026, 22:40

æʃliŋ, ring racers purropawgandist @aescling@cat.family

they changed Coq’s name to Rocq????

Jan 23, 2026, 22:41

æʃliŋ, ring racers purropawgandist @aescling@cat.family

french type theory nerds hate the pp

æʃliŋ, ring racers purropawgandist @aescling@cat.family

no longer pawsible to use Coq and get that Peano succ’d

Jan 23, 2026, 22:46 · · · ·

Sign in to participate in the conversation