Displaying 1-7 of 7 packages depending on leanprover-community/mathlib
Sort by
  1. FR-vdash-bot/algorithm
    uses
    66e06b6

    Verified efficient algorithms in Lean4.
  2. madvorak/duality
    uses
    00df099

    Duality theory in linear optimization and its extensions
  3. girving/interval
    uses
    4660dcd

    Conservative floating point interval arithmetic in Lean
  4. siddhartha-gadgil/MetaExamples
    uses
    af6a640

    Examples using MetaProgramming for writing tactics etc.
  5. girving/ray
    uses
    02e27eb

    Formalizing results about the Mandelbrot set in Lean
  6. pandaman64/Regex
    uses
    v4.10.0

  7. madvorak/vcsp
    uses
    00df099

    General-Valued Constraint Satisfaction Problems