search

isovector / reasonablypolymorphic.com

⏳ my math blog
http://reasonablypolymorphic.com
BSD 3-Clause "New" or "Revised" License
23 stars 11 forks source link

blog/certainty-by-construction/index #43

Open utterances-bot opened 8 months ago

utterances-bot commented 8 months ago

Certainty by Construction: Done! :: Reasonably Polymorphic

https://reasonablypolymorphic.com/blog/certainty-by-construction/index.html

yuripav2002 commented 8 months ago

Hey Sandy, just bought your book, what about Lean4 - anything planned to do with it ??

isovector commented 8 months ago

No plans. I've looked at lean in the past and its aesthetics never gelled with me. I have nothing against it though; the more proofs we're collectively writing, the better.

On November 13, 2023 7:48:12 a.m. PST, yuripav2002 @.***> wrote:

Hey Sandy, just bought your book, what about Lean4 - anything planned to do with it ??

-- Reply to this email directly or view it on GitHub: https://github.com/isovector/reasonablypolymorphic.com/issues/43#issuecomment-1808418919 You are receiving this because you are subscribed to this thread.

Message ID: @.***>