leanproverCli

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

  1. b-mehta/ABCExceptionsusesv4.21.0-rc3

    Exceptions to the ABC conjecture in Lean

  2. YaelDillies/AddCombiusesv4.25.0

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

  3. smmercuri/adele-ring_locally-compactusesv2.2.0-lv4.7.0

    The proof that the adele ring of a number field is locally compact, formalised in Lean 4.

  4. TristanCacqueray/advent-of-leanusesa751d21

  5. lindy-labs/aegisusesv4.20.0-rc2

    Verify Cairo contracts in Lean 4

  6. b-mehta/AharoniKormanusesv2.2.0-lv4.14.0-rc1

    Disproof of the Aharoni–Korman conjecture

  7. astrainfinita/algorithmusesv4.24.0

    Verified efficient algorithms in Lean4.

  8. jsm28/AMusesv4.25.0

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

  9. dwrensha/animateusesv4.25.0

    tool for turning Lean proofs into Blender animations

  10. mdbrnowski/Apportionmentlibusesv4.24.0

    Formal verification of apportionment theory.

  11. misaka10987/archimedesusesv4.25.0-rc2

    Don't disturb my circle!

  12. FormalizedFormalLogic/arithmetizationusesv4.17.0-rc1

    Formalization of Arithmetization of Mathematics/Metamathematics

  13. JobPetrovcic/ArtinWedderburnuses726b3c9

    A formalized proof of Artin-Wedderburn theorem in Lean4

  14. ctchou/AutomataTheoryusesv4.24.0-rc1

    Automata theory in Lean

  15. Bergschaf/banach_tarskiusesv2.2.0-lv4.7.0

  16. eshelyaron/bddusesv4.23.0-rc2

    Binary Decision Diagrams in Lean 4

  17. mseri/BETusesv2.2.0-lv4.9.0

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

  18. lua-vr/BirkhoffErgodicThmusesv4.20.0-rc2

    A proof of Pointwise Birkhoff Ergodic Theorem in Lean

  19. fpvandoorn/bonnAnalysisusesv2.2.0-lv4.7.0

    repository for the collaborative formalization seminar in Analysis in Bonn

  20. 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.