Skip to content

Download only the Mathlib files the project uses - #2

Merged
hawkrobe merged 1 commit into
mainfrom
slim-mathlib
Oct 17, 2026
Merged

Download only the Mathlib files the project uses#2
hawkrobe merged 1 commit into
mainfrom
slim-mathlib

Download only the Mathlib files the project uses

c193172
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar