Zulip Chat Archive
Stream: mathlib4
Topic: mathport bump
Daniel Selsam (Sep 08 2021 at 02:54):
FYI I just re-ran the pipeline and posted new binport .oleans and synport .leans in the usual spot: https://github.com/dselsam/mathport/releases/tag/v0.0.0.0
Last updated: Dec 20 2023 at 11:08 UTC