Skip to content
Check for copyright header

feat: eta-expand for oversaturating arguments while specializing (#10924) #19200

Sign in to view logs

feat: eta-expand for oversaturating arguments while specializing (#10924)

feat: eta-expand for oversaturating arguments while specializing (#10924) #19200

check-lean-files

check-lean-files
succeeded Oct 27, 2025 in 30s