Update format & lean, handle mdata#4

ammkrn wants to merge 3 commits intoleanprover:masterleanprover/lean4export:masterfrom

ammkrn:format2024ammkrn/lean4export:format2024Copy head branch name to clipboard