Actions: leanprover/lean4
Actions
2,500+ workflow runs
2,500+ workflow runs
[implicit_reducible] into [instance_reducible] and [implicit_reducible] tiers
Check for copyright header
#26359:
Pull request #13637
opened
by
kim-em
simpa using h close to reducible transparency
Check for copyright header
#26358:
Pull request #13636
opened
by
kim-em
Sym.simp match reduction
Check for copyright header
#26357:
Pull request #13635
opened
by
leodemoura
withoutExporting around diagnostic reporting
Check for copyright header
#26337:
Pull request #13630
opened
by
kim-em