Shreyas4991Algolean0.1.0

Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"
#computer science #algorithms
Sort by
  1. Git dependency.
    Found on Reservoir.

    Physlibv4.29.0

    A project to digitalise results from physics into Lean.
  2. Registry dependency.
    Found on Reservoir.

    Cslibv4.29.0

    The Lean Computer Science Library (CSLib)