Going to sleep now, expecting to see posts like "I personally think that A → ¬¬A" when I wake up.

  • Pezevenk [he/him]
    ·
    4 years ago

    Vegan struggle session in the language of category theory when?