brokenix
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
all content CC BY-SA 4.0
> boosts are FYI and so re many toots
gpg: openpgp4fpr:eefd2cef6588dd932d03b3f8b2ebc88e61d17acd
blog: https://carnotweat.srht.site/posts/
Git: https://git.sr.ht/~carnotweat/scratch-nix-repl
all content CC BY-SA 4.0
> boosts are FYI and so re many toots
gpg: openpgp4fpr:eefd2cef6588dd932d03b3f8b2ebc88e61d17acd
blog: https://carnotweat.srht.site/posts/
Git: https://git.sr.ht/~carnotweat/scratch-nix-repl
Public Key
npub1xy2cemafea0pkn484tedn569e2yx060xnzk5ppkz7px4hzh89q6sdnl5zlNIP-05 Address
brokenix_at_emacs.ch@momostr.pinkProfile Code
nprofile1qqsrz9vva75u7hsmf6n64uke6dzu4zr8a8nf3t2qsmp0qn2m3tnjsdg5vqz9yAuthor Public Key
npub1xy2cemafea0pkn484tedn569e2yx060xnzk5ppkz7px4hzh89q6sdnl5zl