Pinned Loading

1. FABL FABL Public

   A Lean 4 and Mathlib formalization of Ryan O'Donnell's Analysis of Boolean Functions

   Lean 1

2. CryptBoolean CryptBoolean Public

   Cryptographic Boolean Functions in Lean

   Lean

3. ProbabilityApproximation ProbabilityApproximation Public

   Lean 4 and Mathlib formalization of nonuniform Berry–Esseen bounds and Bentkus's multivariate Gaussian approximation over convex sets.

   Lean 2

4. cling-jupyter-docker cling-jupyter-docker Public

   Docker container of xeus-cling for personal use.

   Dockerfile 2 1

5. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

6. qiskit-cpp qiskit-cpp Public

   Forked from Qiskit/qiskit-cpp

   Qiskit C++ is an opensource interface to quantum centric supercomputing, compatible interface to Qiskit in C++

   C++