Actions: leanprover-community/batteries
Actions
555 workflow runs
555 workflow runs
List.insertP
and lemmas (#569)
Merge main to nightly
#419:
Commit b1a2ec9
pushed
by
digama0
List.foldlM_map
and List.foldrM_map
(#827)
Merge main to nightly
#414:
Commit a2ef715
pushed
by
digama0
ByteSubarray
(#851)
Merge main to nightly
#413:
Commit 1f4c8fa
pushed
by
digama0