Popular repositories Loading

1. Redhill Redhill Public

   A formalisation of the disproof of Ramaekers's conjecture

   Lean 5

2. Skopje Skopje Public

   Smallest Known Oscillators of Period n (Each)

   Python 2 2

3. Shibuya Shibuya Public

   A drawing utility for unit-distance and related embeddings of graphs

   Python 1

4. Nakano Nakano Public

   The modern Oscillizer

   Python 1

5. TonelliShanks TonelliShanks Public

   Velvet formalisation of the Tonelli–Shanks algorithm

   Lean 1

6. Kyoto Kyoto Public

   Exact values and maximal graphs for Zarankiewicz's problem

   TeX