[WIP] 結果比較用のシェルスクリプトなどを追加#6

Draft

gfngfn wants to merge 10 commits intoproof-ninja:masterfrom

gfngfn:gfngfn/refactor-benchmark-runner

Commits on Feb 10, 2022

change the permission mode of 'benchmark.sh'
gfngfn
committed

Commits on Feb 15, 2022

Commits on Mar 12, 2022

Merge branch 'master' into gfngfn/refactor-benchmark-runner
gfngfn
committed

Commits on Mar 16, 2022

Commits on Mar 17, 2022

change 'putbx.sh' about generating Lean code
gfngfn
committed