Skip to content

Tactic.Derive.DecEq: faster variant#36

Merged
omelkonian merged 1 commit into
masterfrom
orestis/fastDeriveDecEq
Aug 5, 2025
Merged

Tactic.Derive.DecEq: faster variant#36
omelkonian merged 1 commit into
masterfrom
orestis/fastDeriveDecEq

Tactic.Derive.DecEq: faster variant

c2745e8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar