LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

lean4-cli

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

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

1mo ago

Recent commits

Latest commits.

chore: bump toolchain to v4.30.0-rc2 (#82)
13567aeGarmelon2mo ago
chore: bump toolchain to v4.30.0-rc1 (#81)
f7d0ca7Garmelon3mo ago
chore: bump toolchain to v4.29.0 (#78)
7802da0Garmelon3mo ago
chore: bump toolchain to v4.29.0-rc8 (#77)
61cd682Kim Morrison3mo ago
chore: bump toolchain to v4.29.0-rc7 (#76)
33583e6Kim Morrison3mo ago

chore: bump toolchain to v4.29.0-rc6 (#75)

3de531cKim Morrison3mo ago

chore: bump toolchain to v4.29.0-rc4 (#74)

06c8b4dKim Morrison4mo ago

chore: bump toolchain to v4.29.0-rc3 (#73)

0c688ceKim Morrison4mo ago

Top contributors

Builders behind this project.