Skip to content

Fix #26#81

Merged
markusdemedeiros merged 6 commits intoleanprover-community:masterfrom
lzy0505:fix-split
Dec 4, 2025
Merged

Fix #26#81
markusdemedeiros merged 6 commits intoleanprover-community:masterfrom
lzy0505:fix-split

Commits

Commits on Aug 1, 2025

Commits on Aug 2, 2025

Commits on Aug 6, 2025

Commits on Aug 8, 2025

Commits on Dec 4, 2025