Pinned Loading

1. computability computability Public

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

   Lean 9 1

2. zxLean zxLean Public

   zx calculus for quantum computing

   Lean 2 1

3. Algolean Algolean Public

   Forked from Shreyas4991/Algolean

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

   Lean

4. GaloisInc/zkLean GaloisInc/zkLean Public

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

   Lean 26 8