No results found

Cli

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

  1. TristanCacqueray/advent-of-leanusesa751d21

  2. lindy-labs/aegisusesv2.2.0-lv4.7.0

    Verify Cairo contracts in Lean 4

  3. FR-vdash-bot/algorithmusesv2.2.0-lv4.9.0

    Verified efficient algorithms in Lean4.

  4. jsm28/AMusesv2.2.0-lv4.9.0

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

  5. dwrensha/animateusesv2.2.0-lv4.9.0

    tool for turning Lean proofs into Blender animations

  6. FormalizedFormalLogic/arithmetizationusesv2.2.0-lv4.7.0

    Formalization of Arithmetization of Mathematics/Metamathematics

  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. jaalonso/Calculemus2usesv2.2.0-lv4.9.0

    Proof exercises in Lean4 and Isabelle/HOL

  10. jaalonso/Calculemus2_esusesv2.2.0-lv4.9.0

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

  11. fpvandoorn/carlesonusesv2.2.0-lv4.9.0

    A formalized proof of Carleson's theorem in Lean

  12. knowsys/certifyingDatalogusesv2.2.0-lv4.9.0

    A certified checker for Datalog entailments, written in Lean

  13. YaelDillies/ChandraFurstLiptonusesv2.2.0-lv4.9.0

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

  14. anlucia/chromatic_polynomialusesv2.2.0-lv4.9.0

    Chromatic polynomial in Lean4

  15. RemyDegenne/cltusesv2.2.0-lv4.9.0

    Central limit theorem in Lean

  16. algebraic-dev/Colorizedusesa751d21

    🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.

  17. morganfshirley/CommCompusesv2.2.0-lv4.9.0

    Formalization of communication complexity in Lean

  18. dwrensha/compfilesusesv2.2.0-lv4.9.0

    Catalog Of Math Problems Formalized In Lean

  19. leanprover-community/ConNFusesv2.2.0-lv4.9.0

    A formal consistency proof of Quine's set theory New Foundations

  20. optsuite/convexusesv2.2.0-lv4.7.0