Zulip Chat Archive

Stream: new members

Topic: David J. Webb

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Mario Carneiro (Jan 19 2021 at 06:20):


view this post on Zulip 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: May 14 2021 at 00:42 UTC