> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
> https://git.sr.ht/~carnotweat/morning-rust

  • 1 Post
  • 9 Comments
Joined 1 year ago
cake
Cake day: May 30th, 2023

help-circle