Popular repositories Loading

1. froberg-2d froberg-2d Public

   Lean proof of Froberg's conjecture in equal degree for up to 2d in sufficiently large n and all generators

   Lean 1 1

2. chopped-plane-point-ideals chopped-plane-point-ideals Public

   Lean proofs of Hilbert functions and Expected Syzygy for chopped ideals of general plane points.

   Lean 1 1

3. expected-syzygies-froberg expected-syzygies-froberg Public

   Lean proof that the Expected Syzygy Conjecture implies Froberg through degree 2d over characteristic-zero fields

   Lean 1 1

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. integer-mult-bounds integer-mult-bounds Public

   Forked from CrocSwap/integer-mult-bounds

   Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

   Python

6. natural-cohomology-steiner natural-cohomology-steiner Public

   Lean formalization of natural cohomology for general Steiner bundles over characteristic-zero fields

   Lean