Popular repositories Loading

1. optimizationproblems optimizationproblems Public

   Forked from teorth/optimizationproblems

   A collection of optimization problems in mathematics

   HTML

2. davenport-cn3-bound davenport-cn3-bound Public

   Proof and conditional Lean 4 formalization of the Davenport constant bound for C_n^3.

   Lean

3. borsuk-63-counterexample borsuk-63-counterexample Public

   Proof note and exact verification script for a 63-dimensional counterexample to Borsuk’s conjecture.

   Python