Skip to content

feat: additional tests for bad recursors - #159

Closed
ammkrn wants to merge 1 commit into
leanprover:masterfrom
ammkrn:rec-orphan-tests
Closed

feat: additional tests for bad recursors#159
ammkrn wants to merge 1 commit into
leanprover:masterfrom
ammkrn:rec-orphan-tests

feat: additional tests for bad recursors

58f9741
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Select checkers
succeeded Aug 25, 2026 in 33s