> 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
0 Posts
2 Comments
Joined 2 years ago
Cake day: October 31st, 2022
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
