Popular repositories Loading

1. wind wind Public

2. complexity complexity Public

   Lean

3. cslib cslib Public

   Forked from leanprover/cslib

   The Lean Computer Science Library (CSLib)

   Lean

4. talks talks Public

   JavaScript

5. empirical-circuit-complexity empirical-circuit-complexity Public

   Forked from SamuelSchlesinger/empirical-circuit-complexity

   Formal proofs of exact circuit complexity for small Boolean functions in Lean 4

   TeX