mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard
verified publisher icon leanprover-community

change

Open mattrobball opened this issue 1 year ago • 2 comments

Open in Gitpod

mattrobball avatar May 22 '24 12:05 mattrobball

!bench

mattrobball avatar May 22 '24 12:05 mattrobball

Here are the benchmark results for commit 96231d76c9f4d4e0a463d011a27c9e9453fd8948. There were no significant changes against commit 2f2a2ac8815fa1802c08aefdfeae07804b97bea6.

leanprover-bot avatar May 22 '24 13:05 leanprover-bot