No results found

mathlib

The math library of Lean 4
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