feat: add Shafarevich relation-rank bound eval problem#387

kim-em wants to merge 1 commit into

mainleanprover/lean-eval:mainfrom

feat/shafarevich-relation-rank-boundleanprover/lean-eval:feat/shafarevich-relation-rank-boundCopy head branch name to clipboard