Mathematics for computer science from MIT course
the-deep-link-equating-math-proofs-and-computer-programs - "Curry-Howard correspondence posits that two concepts from computer science (types and programs) are equivalent, respectively, to propositions and proofs — concepts from logic."
Towards a Lean proof of Fermat’s Last Theorem
https://x.com/zk_monk/status/2030305129493049748 - Everything you wanted to know about Maths
No comments:
Post a Comment