Skip to content
Check for copyright header

feat: support underscores in String.toNat? and String.toInt? #20873

Sign in to view logs

feat: support underscores in String.toNat? and String.toInt?

feat: support underscores in String.toNat? and String.toInt? #20873

check-lean-files

check-lean-files
succeeded Dec 7, 2025 in 33s