Arklib

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
doc-gen4v4.18.0
Document Generator for Lean 4
Git dependency.
Not found on Reservoir.
seq7279fc2
Git dependency.
Found on Reservoir.
checkdeclslean4.18.0
Tiny Lean library to check existence of declarations
Git dependency.
Found on Reservoir.
VCViov4.18.0
Formalized Cryptography Proofs in Lean 4
Git dependency.
Found on Reservoir.
mathlibv4.18.0
The math library of Lean 4

Reservoir