iApply attempt #43

markusdemedeiros wants to merge 1 commit intoleanprover-community:masterleanprover-community/iris-lean:masterfrom

markusdemedeiros:iapplymarkusdemedeiros/iris-lean:iapplyCopy head branch name to clipboard