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):
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