Pinned Loading

1. sofa-manuscript sofa-manuscript Public

   A work-in-progress draft on a discrete geometry problem called the 'moving sofa problem'

   Mathematica

2. sofa-designer sofa-designer Public

   A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL

   C++ 3

3. erdos-tuza-valtr erdos-tuza-valtr Public

   A formal verification of a mathematics/combinatorics paper "On the Erdős-Tuza-Valtr Conjecture"

   Lean 3

4. erdos-szekeres-sat erdos-szekeres-sat Public

   An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants

   Python

5. seewoo5/lean-poly-abc seewoo5/lean-poly-abc Public

   Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4

   Lean 8

6. mathmd mathmd Public

   A small opinionated Obsidian vault to LaTeX transpiler for personal use

   Haskell