feat: aesop_contractive tactic to solve Contractive/NonExpansive goals#422

arthur-adjedj wants to merge 11 commits into

leanprover-community:masterleanprover-community/iris-lean:masterfrom

arthur-adjedj:aesop_contractivearthur-adjedj/iris-lean:aesop_contractiveCopy head branch name to clipboard