feat: Bench Aiur kernel on any def in LEAN_PATH#427

samuelburnham wants to merge 1 commit into

mainargumentcomputer/ix:mainfrom

sb/aiur-benchargumentcomputer/ix:sb/aiur-benchCopy head branch name to clipboard