Pinned Loading

1. ARENA_3.0 ARENA_3.0 Public

   Jupyter Notebook

2. claude-speriments claude-speriments Public

3. push-it-real-good push-it-real-good Public

   A git hook that plays Salt-N-Pepa's "Push It" when you push! (for @rsc3)

   Shell 1

4. prove-it-is-9 prove-it-is-9 Public

   A formal proof in Lean that the 500th decimal digit of (√2 + √3)^2012 is 9, written by gemini-cli

   Lean