leanprovercslib0.1.0

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

  1. Shreyas4991/Algoleanusesv4.33.0

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

  2. nikhgarg/AppliedModelingLibusesv4.30.0-rc2

    AI-assisted Lean formalization for Economics and Computation research

  3. Verified-zkEVM/Arklibusesv4.33.1

    Formally Verified Arguments of Knowledge in Lean

  4. arademaker/bignumuses3ea6f21

    port of s2n-bignum to Lean

  5. SamuelSchlesinger/complexitylibusesd9be641

    Formalization of complexity theory

  6. Shreyas4991/DGAlgorithmsusesv4.28.0

    Distributed Graph Algorithms in Lean

  7. DiagonaLean/DiagonaLeanuses9d42aaa

    A compositional toolkit for mechanised undecidability in Lean 4.

  8. cslib-community/fadusesa1faa28

    Functional Algorithms Design

  9. Beneficial-AI-Foundation/FloatSpecusesv4.34.0-rc2

    Formally Verified Float Implementation with lean4

  10. sorrachai/GraphLibuses608cbe1

    This is the repository for graph algorithm design.

  11. ilyasergey/langlibusesv4.33.0

    Esoteric Programming Languages, Formally

  12. Verified-zkEVM/PolyFunuses268b2bb

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

  13. proximity-prize/proximity-prizeusesv4.32.0

  14. QudeLeap/QuantumAlgusesv4.31.0

  15. Verified-zkEVM/VCViouses268b2bb

    Machine-checked cryptographic proofs in Lean, built on Mathlib: oracle computations, probability semantics, program logic, and lattice- and hash-based schemes.