git log -p -- @xameer
Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondencepedantic nooball content CC BY-SA 4.0nobot #nobridge #noaisend messages , not metadata https://.sr.ht/carnotweat/deltanixrust #nix , bits of #haskell #ocaml