Zulip Chat Archive

Stream: new members

Topic: David J. Webb

David J. Webb (Jan 19 2021 at 00:00):

Hi all! Just introducing myself - I'm a grad student in computability theory, and I've been interested in LEAN ever since a project several years ago on formalizing Levenshtein Distance. I just finished the Natural Number Game to brush up on my skills, and now I'm hoping to use LEAN for the modal logic of provability and/or computability theory.

Kevin Buzzard (Jan 19 2021 at 06:14):

Paula Neeley gave a talk about modal logic and beyond at Lean Together 2021 which you can probably see on YouTube

Mario Carneiro (Jan 19 2021 at 06:20):

https://www.youtube.com/watch?v=kXCB5wzQTKc

David J. Webb (Jan 19 2021 at 20:09):

Oooh great! I saw that slides for this existed but the talk itself may be even more helpful, thanks!

Last updated: Dec 20 2023 at 11:08 UTC