Skip to content
Check for copyright header

feat: termination arguments for String.ValidPos and String.Slice.Pos #19172

Sign in to view logs

feat: termination arguments for String.ValidPos and String.Slice.Pos

feat: termination arguments for String.ValidPos and String.Slice.Pos #19172

check-lean-files

check-lean-files
succeeded Oct 26, 2025 in 14s