Zulip Chat Archive

Stream: general

Topic: lean reference manual

Patrick Massot (Feb 26 2018 at 21:18):

@Sebastian Ullrich do you know if you should do something to get https://github.com/leanprover/reference/commit/53ecf0a3292c5d95066f9d7a79c339eb5618f610 released?

Sebastian Ullrich (Feb 27 2018 at 08:43):

I believe Jeremy does manual releases. Maybe he'll release it together with https://github.com/leanprover/reference/pull/13

Last updated: Dec 20 2023 at 11:08 UTC