No results found

Cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Displaying 1-20 of 182 packages depending on leanprover/Cli
Sort by

  1. TristanCacqueray/advent-of-leanusesa751d21

  2. lindy-labs/aegisusesv4.20.0-rc2

    Verify Cairo contracts in Lean 4

  3. jsm28/AMusesv4.19.0-rc2

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

  4. dwrensha/animateusesv4.18.0-rc1

    tool for turning Lean proofs into Blender animations

  5. FormalizedFormalLogic/arithmetizationusesv4.17.0-rc1

    Formalization of Arithmetization of Mathematics/Metamathematics

  6. Bergschaf/banach_tarskiusesv2.2.0-lv4.7.0

  7. mseri/BETusesv2.2.0-lv4.9.0

    Project for "Machine-Checked Mathematics" at the Lorentz Center

  8. fpvandoorn/bonnAnalysisusesv2.2.0-lv4.7.0

    repository for the collaborative formalization seminar in Analysis in Bonn

  9. sven-manthe/borel_detusesv4.19.0-rc2

  10. chrisflav/bruhat-titsusesv4.19.0

    A formalisation of the Bruhat-Tits tree in Lean4

  11. jaalonso/Calculemus2usesv4.20.0-rc2

    Proof exercises in Lean4 and Isabelle/HOL

  12. jaalonso/Calculemus2_esusesv2.2.0-lv4.14.0-rc1

    Ejercicios de demostración con Lean4 e Isabelle/HOL.

  13. fpvandoorn/carlesonusesv4.20.0-rc2

    A formalized proof of Carleson's theorem in Lean

  14. knowsys/certifyingDatalogusesv4.17.0

    A certified checker for Datalog entailments, written in Lean

  15. YaelDillies/ChandraFurstLiptonusesv4.19.0

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity

  16. pitmonticone/CHANGEusesv4.17.0-rc1

    Repository hosting the resources for the Lean demo session of my talk presented at the weekly research seminar on CHallenges in ANalysis and GEometry (CHANGE) at the University of Trento on February 11, 2025.

  17. dwrensha/Chessusesv2.2.0-lv4.14.0-rc1

    Chess in Lean 4

  18. anlucia/chromatic_polynomialusesv2.2.0-lv4.9.0

    Chromatic polynomial in Lean4

  19. Verified-zkEVM/Cleanusesv4.17.0

    Lean circuit DSL

  20. RemyDegenne/cltusesv4.20.0-rc2

    Central limit theorem in Lean