Skip to content
This repository was archived by the owner on Sep 2, 2026. It is now read-only.

Make uniqueName deterministic for shared constants - #602

Open
aws-nirmaltm wants to merge 1 commit into
leanprover:mainfrom
aws-nirmaltm:nirmaltm-NKI-shared-const-deterministic
Open

Make uniqueName deterministic for shared constants#602
aws-nirmaltm wants to merge 1 commit into
leanprover:mainfrom
aws-nirmaltm:nirmaltm-NKI-shared-const-deterministic

Make uniqueName deterministic for shared constants

7b1bdba
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs