Xameer@mathstodon.xyz
Xameer@mathstodon.xyz
xameer@mathstodon.xyz
git log -p -- @xameer > Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence pedantic noob all content CC BY-SA 4.0 #nobot #nobridge #noai send messages , not metadata > https://.sr.ht/~carnotweat/deltanix #rust #nix , bits of #haskell #ocaml
