max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/simpperf
History
Exact
…
..
pre500.lean
pre1000.lean
pre1500.lean
pre2000.lean
pre2500.lean
pre3000.lean
simp500.lean
simp1000.lean
simp1500.lean
simp2000.lean
simp2500.lean
simp3000.lean
times.txt