Skip to content

feat: binary recursive implementation of List.mapA - #3877

Closed
digama0 wants to merge 1 commit into
leanprover:masterfrom
digama0:mapA_brec
Closed

feat: binary recursive implementation of List.mapA#3877
digama0 wants to merge 1 commit into
leanprover:masterfrom
digama0:mapA_brec

feat: binary recursive implementation of List.mapA

f405eb4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped