Zulip Chat Archive

Stream: general

Topic: working lean and mathlib version

Kenny Lau (Mar 27 2018 at 01:20):

What is your lean version and mathlib version that works?

Ching-Tsun Chou (Mar 27 2018 at 01:21):

See: https://github.com/leanprover/mathlib/commit/d84af03bdb8ec4e02c96b6262e7b78c8f3de412b

Kenny Lau (Mar 27 2018 at 03:16):

thanks

Last updated: May 02 2025 at 03:31 UTC