Skip to content

perf: optimize instantiateForall - #16321

Closed
Rob23oba wants to merge 1 commit into
leanprover:masterfrom
Rob23oba:instantiate-forall-faster
Closed

Rob23oba wants to merge 1 commit into
leanprover:masterfrom
Rob23oba:instantiate-forall-faster

perf: optimize `instantiateForall`

08e37c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view