leanprovercslib0.1.0

The Lean Computer Science Library (CSLib)
Displaying 1-4 of 4 packages depending on leanprover/cslib
Sort by

  1. Shreyas4991/Algoleanusesv4.29.0

    Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"

  2. atlas-computing-org/bignumuses3ea6f21

    port of s2n-bignum to Lean

  3. Shreyas4991/DGAlgorithmsusesv4.28.0

    Distributed Graph Algorithms in Lean

  4. Beneficial-AI-Foundation/FloatSpecusesv4.29.0

    Formally Verified Float Implementation with lean4