mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

bench: lean4#3473

Open thorimur opened this issue 1 year ago • 2 comments
trafficstars

Open in Gitpod

thorimur avatar Mar 08 '24 18:03 thorimur

!bench

thorimur avatar Mar 08 '24 18:03 thorimur

Here are the benchmark results for commit 7bc2cf3bbe3d2f7d943bfd5b153d0ef2b2807b60.Found no runs to compare against.

leanprover-bot avatar Mar 08 '24 19:03 leanprover-bot