Skip to content

Mathlib v4.35.0-rc4

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 Oct 14:09
mathlib-dataset-1f414401f690
46e838a

The dataset (S2, ltb-dataset/2) of leanprover-community/mathlib4 at 1f414401f69059aa7eead47b53ee40bd38455eeb, by trust-extract 0.13.1, dataset spec ltb-dataset/2, meaning hash ltb-meaning/1, local hash ltb-local/3, content hash ltb-content/1, Lean 4.35.0-rc4 (LeanTrustBuilders/extractor).

Assets 3
Loading