Skip to content

Bump TauCeti and Mathlib pins for Axiom CFSG submission - #667

Merged
kim-em merged 1 commit into
mainfrom
bump-cfsg-dependency-pins
Oct 27, 2026
Merged

Bump TauCeti and Mathlib pins for Axiom CFSG submission#667
kim-em merged 1 commit into
mainfrom
bump-cfsg-dependency-pins

Bump TauCeti and Mathlib pins for Axiom CFSG submission

5d0d410
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar