sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
lean4/tests/simpperf
History
Leonardo de Moura 57e05af9da feat: add simp benchmark
2020-12-31 15:46:56 -08:00
..
pre500.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
pre1000.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
pre1500.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
pre2000.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
pre2500.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
pre3000.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
simp500.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
simp1000.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
simp1500.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
simp2000.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
simp2500.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
simp3000.lean
feat: add simp benchmark
2020-12-31 15:46:56 -08:00
times.txt
feat: add simp benchmark
2020-12-31 15:46:56 -08:00