Pinned Loading

1. Algolean Algolean Public

   Forked from Shreyas4991/Algolean

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

   Lean

2. computability computability Public

   A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions

   Lean 14 1

3. zxLean zxLean Public

   zx calculus for quantum computing

   Lean 5 1

4. GaloisInc/zkLean GaloisInc/zkLean Public

   zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements

   Lean 40 8

5. cslib cslib Public

   Forked from leanprover/cslib

   A Lean library for Computer Science

   Lean