[WIP] Support cedar-lean#152

andrewmw94 wants to merge 3 commits intolean-dojo:mainlean-dojo/LeanDojo:mainfrom

andrewmw94:andrewmwells/local_repoandrewmw94/LeanDojo:andrewmwells/local_repoCopy head branch name to clipboard