leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Leaning In!

Topic: Recursive Definition – Slides


Joachim Breitner (Mar 13 2025 at 09:02):

BTW, the “slides” I showed are on github.com/nomeata/leaning-in-2025

Kevin Buzzard (Mar 13 2025 at 09:03):

ha ha if you'd said that 30 minutes ago then I wouldn't have been frantically copying your code from Zoom into VS Code :-)

Kevin Buzzard (Mar 13 2025 at 09:04):

(fortunately your code blocks were very short!)


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll