You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
#43 (comment)
You are receiving this because you are subscribed to this thread.
Message ID: ***@***.***>
Certainty by Construction: Done! :: Reasonably Polymorphic
https://reasonablypolymorphic.com/blog/certainty-by-construction/index.html
The text was updated successfully, but these errors were encountered: