fix: omit partial declarations unless exportUnsafe is true - #47

fix: omit partial declarations unless exportUnsafe is true#47

robsimmons merged 1 commit into

masterleanprover/lean4export:masterfrom

partial-is-unsafeleanprover/lean4export:partial-is-unsafeCopy head branch name to clipboard