lean4
lean4 copied to clipboard
Published
20 hours ago •
leanprover
leanprover
feat: exprDependsOn follows delayed assignments
-
- 💥 Mathlib branch lean-pr-testing-2484 failed against this PR. (2023-09-01 03:11:11) View Log\n- ❌ Mathlib branch lean-pr-testing-2484 built against this PR, but linting failed. (2023-09-01 08:08:27) View Log
- ✅ Mathlib branch lean-pr-testing-2484 has successfully built against this PR. (2023-09-01 09:27:46)
- ✅ Mathlib branch lean-pr-testing-2484 has successfully built against this PR. (2023-12-12 02:18:58) View Log