Skip to content

New lemmas for List#1072

Open
namasikanam wants to merge 1 commit into
mainfrom
oram-new-lemmas-list
Open

New lemmas for List#1072
namasikanam wants to merge 1 commit into
mainfrom
oram-new-lemmas-list

new lemmas for List; four new operators: isprefix, prefixes, interval…

e221166
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 10, 2026 in 7m 23s