chore: remove informal/ from main#39

Xinze-Li-Moqian merged 1 commit into

mainMathNetwork/ProofAtlas:mainfrom

chore/remove-informal-from-mainMathNetwork/ProofAtlas:chore/remove-informal-from-mainCopy head branch name to clipboard