doc-gen4

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
leansqlitev4.32.0-rc1
SQLite bindings for Lean
Git dependency.
Found on Reservoir.
Cliv4.32.0-rc1
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Git dependency.
Found on Reservoir.
UnicodeBasic3b87338
Basic Unicode support for Lean 4
Git dependency.
Found on Reservoir.
BibtexQueryv4.32.0-rc1
A simple command-line bibtex query utility written in Lean 4
Git dependency.
Found on Reservoir.
MD4Lean6a3fb24
a Lean wrapper for the MD4C Markdown parser