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: May 02 2025 at 03:31 UTC