doc-gen4
Document Generator for Lean 4
Sort by
Require Order
Cli
v4.24.0-rc1
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.UnicodeBasic
fd78e46
Basic Unicode support for Lean 4BibtexQuery
1b05159
A simple command-line bibtex query utility written in Lean 4MD4Lean
66aefec
a Lean wrapper for the MD4C Markdown parser