Zulip Chat Archive

Stream: new members

Topic: TPIL Errata

Lucas Teixeira (Sep 07 2021 at 16:00):

Is there a place where we can submit errata/general suggestions for TPIL??

Kevin Buzzard (Sep 07 2021 at 16:01):

For TPIL3 you can submit pull requests. For TPIL4 I don't know.

Kevin Buzzard (Sep 07 2021 at 16:03):

For 4 the repo seems to be here https://github.com/leanprover/theorem_proving_in_lean4 but I don't know if PRs are welcome.

Lucas Teixeira (Sep 07 2021 at 16:07):

Is posting issues on TPIL3 welcome???

Kevin Buzzard (Sep 07 2021 at 16:07):

I'm pretty sure it is (but I can't remember where the repo is) (oh, it's https://github.com/leanprover/theorem_proving_in_lean)

Lucas Teixeira (Sep 07 2021 at 16:08):

Wonderful, thank you!

Last updated: Dec 20 2023 at 11:08 UTC