Pinned Loading

1. Applied-Experiments-of-CMCM Applied-Experiments-of-CMCM Public

   Python

2. erdos-1131-lean erdos-1131-lean Public

   Complete Lean 4 disproof of Erdős Problem 1131

   Lean

3. grip-theory-lean grip-theory-lean Public

   Grip Theory, often utilized for Hypercubing is a rich mathematical framework that has both applied and pure applications. This initial library is (to my knowledge) the first instance of lean being …

   Lean 1 1

4. Liquid-TQFT-lean-CMCM Liquid-TQFT-lean-CMCM Public

   Lean Proofs for start of a mini program

   Lean

5. sparky sparky Public

   Python

6. murexrobotics/web murexrobotics/web Public

   The website of MUREX Robotics

   Astro 2 2