> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot
> i am not a book about me .
> https://git.sr.ht/~carnotweat/morning-rust

  • 2 Posts
  • 16 Comments
Joined 2 years ago
cake
Cake day: May 30th, 2023

help-circle