• Fushuan [he/him]@lemm.ee
    link
    fedilink
    English
    arrow-up
    5
    ·
    2 months ago

    You just reminded me of having to prove that math signs work and do what they do from basic axioms to integers and rational numbers using logical proofs… Damn that was interesting but SO tedious…