Skip to content

catalog: restore rouche_zero_count_eq to active - #666

Closed
mrphilo420 wants to merge 2 commits into
leanprover:mainfrom
mrphilo420:restore-rouche-zero-count-eq
Closed

catalog: restore rouche_zero_count_eq to active#666
mrphilo420 wants to merge 2 commits into
leanprover:mainfrom
mrphilo420:restore-rouche-zero-count-eq

docs: mark rouche_zero_count_eq generated workspace active

70993aa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs