leanprovercslib0.1.0

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

  1. Shreyas4991/Algoleanusesv4.31.0

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

  2. arademaker/bignumuses3ea6f21

    port of s2n-bignum to Lean

  3. Shreyas4991/DGAlgorithmsusesv4.28.0

    Distributed Graph Algorithms in Lean

  4. nikhgarg/EconCSLibusesv4.30.0-rc2

    AI-assisted Lean formalization for Economics and Computation research

  5. arademaker/fadusesa1faa28

    Functional Algorithms Design

  6. Beneficial-AI-Foundation/FloatSpecusesv4.29.0

    Formally Verified Float Implementation with lean4

  7. sorrachai/GraphLibuses608cbe1

    This is the repository for graph algorithm design.

  8. Verified-zkEVM/PolyFunusesv4.32.0

    Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols

  9. QudeLeap/QuantumAlgusesv4.31.0

  10. Verified-zkEVM/VCViousesv4.32.0

    A Lean library for machine-checked cryptographic proofs.