mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Update lean-toolchain for testing https://github.com/leanprover/lean4

Open kmill opened this issue 1 year ago • 2 comments

Open in Gitpod

kmill avatar Jan 05 '24 14:01 kmill

!bench

kmill avatar Jan 05 '24 14:01 kmill

Here are the benchmark results for commit 017909ab68486de259fcf331ee8fe64b8d70f07b.Found no runs to compare against.

leanprover-bot avatar Jan 05 '24 15:01 leanprover-bot