Fix/datatype uninterpreted sort#12

kiranandcode merged 2 commits into

mainBasisResearch/lean.py:mainfrom

fix/datatype-uninterpreted-sortBasisResearch/lean.py:fix/datatype-uninterpreted-sortCopy head branch name to clipboard