hhu-adami18n

i18n library for Lean.
Sort by
  1. Registry dependency.
    Found on Reservoir.

    batteriesv4.17.0

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Registry dependency.
    Found on Reservoir.

    Cliv4.17.0

    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.