Skip to content

Aiur kernel: fix Lean.Syntax.rec (shard 53) + ix name-of#464

Open
arthurpaulino wants to merge 2 commits into
mainfrom
ap/aiur-aux-recursor-parity
Open

Aiur kernel: fix Lean.Syntax.rec (shard 53) + ix name-of#464
arthurpaulino wants to merge 2 commits into
mainfrom
ap/aiur-aux-recursor-parity

IxVM Aiur kernel: fix Lean.Syntax.rec (shard 53) aux-recursor gen

6197f48
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar