Ale/3.0 proof#223

0x0f0f0f wants to merge 7 commits intoale/3.0JuliaSymbolics/Metatheory.jl:ale/3.0from

ale/3.0-proofJuliaSymbolics/Metatheory.jl:ale/3.0-proofCopy head branch name to clipboard