Skip to content

chore: replace lean4checker dependency with upstreamed replay#55

Merged
hargoniX merged 1 commit into
masterfrom
uppies
Jul 21, 2026
Merged

chore: replace lean4checker dependency with upstreamed replay#55
hargoniX merged 1 commit into
masterfrom
uppies

chore: replace lean4checker dependency with upstreamed `replay`

3c972ca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar