proof factory

Popular repositories Loading

1. verifier verifier Public

   Forked from bigospeedrun/verifier

   Public, isolated Lean proof reruns with Comparator and nanoda; pinned challenges and artifact receipts.

   Lean

2. catalan-exponent catalan-exponent Public

   Irrationality exponent of Catalan's constant below 2402

   Python

3. three-sum-lean three-sum-lean Public

   Forked from c0ldzy17/three-sum-lean

   Complete Lean formalization of deterministic O(n^1.962) integer 3SUM.

   Lean

4. exact-dft-lean exact-dft-lean Public

   Forked from canghaimeng/exact-dft-lean

   Lean proof of the all-length exact DFT bound with saving 63/50000, developed through Euler.

   Lean 1

5. 3sum-bound 3sum-bound Public

   Forked from JoshuaQFEX/3sum-bound

   Lean

6. apsp-bound apsp-bound Public

   Forked from JoshuaQFEX/apsp-bound

   Lean