Zulip Chat Archive

Stream: new members

Topic: Thanks for explaining how Lean4 parser works

Eric Taucher (Oct 30 2021 at 12:46):

To @Sebastian Ullrich et al.

Thanks for

https://leanprover.github.io/presentations/20181012_MSR/#/ and https://leanprover.github.io/talks/vu2019.pdf

Last updated: May 02 2025 at 03:31 UTC