pseudorandom

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
mathlib154a87c
The math library of Lean 4
Git dependency.
Found on Reservoir.
LeanAPAPff5ae59
Formalisation of the Kelley-Meka bound on Roth numbers
Git dependency.
Found on Reservoir.
checkdecls2ee81a0
Tiny Lean library to check existence of declarations
Git dependency.
Found on Reservoir.
doc-gen4a34d3c1
Document Generator for Lean 4