lean4 feat: bundle std4

feat: bundle std4

Open Kha opened this issue 1 year ago • 1 comments

Let's see if anything breaks

Jan 22 '24 17:01 Kha

Mathlib CI status (docs):

✅ Mathlib branch lean-pr-testing-3209 has successfully built against this PR. (2024-01-24 13:50:04) View Log
✅ Mathlib branch lean-pr-testing-3209 has successfully built against this PR. (2024-01-24 15:18:45) View Log

Jan 24 '24 13:01 leanprover-community-mathlib4-bot