No results found

Cli

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

  1. b-mehta/ABCExceptionsusesv4.21.0-rc3

    Exceptions to the ABC conjecture in Lean

  2. YaelDillies/AddCombiusesv4.20.0

    The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics

  3. TristanCacqueray/advent-of-leanusesa751d21

  4. lindy-labs/aegisusesv4.20.0-rc2

    Verify Cairo contracts in Lean 4

  5. jsm28/AMusesv4.19.0-rc2

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

  6. dwrensha/animateusesv4.18.0-rc1

    tool for turning Lean proofs into Blender animations

  7. FormalizedFormalLogic/arithmetizationusesv4.17.0-rc1

    Formalization of Arithmetization of Mathematics/Metamathematics

  8. Bergschaf/banach_tarskiusesv2.2.0-lv4.7.0

  9. eshelyaron/bddusesv4.20.0-rc2

    Binary Decision Diagrams in Lean 4

  10. mseri/BETusesv2.2.0-lv4.9.0

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

  11. estradilua/BirkhoffErgodicThmusesv4.20.0-rc2

    A proof of Pointwise Birkhoff Ergodic Theorem in Lean

  12. fpvandoorn/bonnAnalysisusesv2.2.0-lv4.7.0

    repository for the collaborative formalization seminar in Analysis in Bonn

  13. roos-j/BooleanFunusesv2.2.0-lv4.14.0-rc1

    Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.

  14. sven-manthe/borel_detusesv4.19.0-rc2

  15. chrisflav/bruhat-titsusesv4.19.0

    A formalisation of the Bruhat-Tits tree in Lean4

  16. jaalonso/Calculemus2usesv4.20.0-rc2

    Proof exercises in Lean4 and Isabelle/HOL

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

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

  18. fpvandoorn/carlesonusesv4.21.0-rc3

    A formalized proof of Carleson's theorem in Lean

  19. knowsys/certifyingDatalogusesv4.20.0

    A certified checker for Datalog entailments, written in Lean

  20. YaelDillies/ChandraFurstLiptonusesv4.20.0

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