doc-gen4

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
MD4Lean5e95f47
a Lean wrapper for the MD4C Markdown parser
Git dependency.
Found on Reservoir.
UnicodeBasicv1.0.2
Basic Unicode support for Lean 4
Git dependency.
Found on Reservoir.
BibtexQuery85e1e71
A simple command-line bibtex query utility written in Lean 4
Git dependency.
Not found on Reservoir.
Clibf066c3

Reservoir