Update lean4export to 3.1.0 format#7

nomeata merged 5 commits intomasterleanprover/lean-kernel-arena:masterfrom

joachim/bump-formatleanprover/lean-kernel-arena:joachim/bump-formatCopy head branch name to clipboard