lean4
lean4 copied to clipboard

Published 20 hours ago •

Reame
Issues

chore: test integrated Mathlib CI

Open kim-em opened this issue 4 months ago • 1 comments

trafficstars

Jun 26 '25 07:06 kim-em

✅ Mathlib branch lean-pr-testing-9009 has successfully built against this PR. (2025-06-26 08:34:23) View Log

Jun 26 '25 08:06 leanprover-community-bot