Skip to content

feat(lean): specs for for-loops over signed ints#1988

Open
abentkamp wants to merge 1 commit into
mainfrom
lean-signed-for-loops
Open

feat(lean): specs for for-loops over signed ints#1988
abentkamp wants to merge 1 commit into
mainfrom
lean-signed-for-loops

feat(lean): specs for for-loops over signed ints

437e5aa
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.