feat: saved propositions#503

markusdemedeiros wants to merge 5 commits into

masterleanprover-community/iris-lean:masterfrom

savedpropleanprover-community/iris-lean:savedpropCopy head branch name to clipboard