8000 feat: binary recursive implementation of List.mapA by digama0 · Pull Request #3877 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: binary recursive implementation of List.mapA#3877

Open
digama0 wants to merge 1 commit intoleanprover:masterfrom
digama0:mapA_brec
Open

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

Commits

Commits on Apr 11, 2024
0