Skip to content

docs(Part): note dependency on mathlib4#37521

4efedc0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(CombinatoryLogic): Partrec → SKI computability #403

docs(Part): note dependency on mathlib4#37521
4efedc0
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci-checks
succeeded Apr 1, 2026 in 4m 36s