tCSlib

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
doc-gen4v4.25.0
Document Generator for Lean 4
Git dependency.
Found on Reservoir.
PFRv4.25.0
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Git dependency.
Found on Reservoir.
mathlib029db12
The math library of Lean 4