Skip to content

perf: check for MVar in eAlphaNormalizeCore - #41

Closed
dselsam wants to merge 4 commits into
leanprover:masterfrom
dselsam:perfAlphaNorm
Closed

perf: check for MVar in eAlphaNormalizeCore#41
dselsam wants to merge 4 commits into
leanprover:masterfrom
dselsam:perfAlphaNorm

test: add (perf) test for typeclass append

641e09a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs