L∃AN together – live stream schedule(leanprover-community.github.io)

18 pointsby tzury6 miesięcy temu3 comments

leanprover-community.github.io

https://leanprover-community.github.io/lt2026/schedule.html

4 comments

I became fascinated by Lean last week while watching Terrence Tao stream his proof work on Youtube. At least on the surface his thought process and workflow looked very similar to what I do in my IDE when programming, especially when coding in a very strongly typed language like Scala with FP style.

If I can work through math proofs in an IDE with Lean helping check my work I might finally get around to diving into the higher level math I’ve always wanted to. Could open some doors to us working folks that don’t have an instructor to review our proof attempts.

boisgerault6 miesięcy temu

Two days left; the talks so far were very interesting imho. Congrats and thanks to the organizers!

gbacon6 miesięcy temu

Fascinating material. L∃∀ℝ together, amirite?

[deleted]6 miesięcy temu