Gonna party tonight and by party I mean learn how to proof theorems in Lean.
Падабаецца 0
Рэпосты 0
@vitaut Dude, it's a school night. I was gonna get my Lean on this weekend. Seriously though, let me know if you have any tips for how to get started for dullards that are used to programming in languages with undefined behavior.
Падабаецца 0
Рэпосты 0
@synec I was hoping someone will tell me how to get started =)
Падабаецца 0
Рэпосты 0
@vitaut @synec
Somebody in my timeline posted a link to "Lean first steps" online book a while back:
https://leanfirststeps.blogspot.com/p/contents.html?m=1
I saved the link, but did not really dig in since then, so I'm not sure how good it is - but I think the person posting the link felt quite proud of what they got there.
Падабаецца 0
Рэпосты 0