æʃliŋ, purrepurrocessor: "@kit@firefish.kitredgrave.net well godDAMN that i…" - 📟🐱 GlitchCat

Mar 07, 2024, 20:30

Kit Redgrave @kit@firefish.kitredgrave.net

lately i have been getting nerdsniped very hard with this game built around lean. wtf, theorem proving is fun now??

https://adam.math.hhu.de/#/g/leanprover-community/nng4

æʃliŋ, purrepurrocessor @aescling@cat.family

@kit well godDAMN that is extremely my shit

Mar 07, 2024, 20:44 · · · ·

Sign in to participate in the conversation