Popular repositories Loading

1. live-workshop-skill live-workshop-skill Public

   Claude Code skill: Turn any lecture into a structured, searchable knowledge base with live Whisper transcription

   Python 25 1

2. eml-formalization eml-formalization Public

   Lean 4 + Mathlib formalization of arXiv:2603.21852 (Odrzywołek, EML)

   HTML 13 1

3. jacobian-counterexample jacobian-counterexample Public

   Exact audit and structural analysis of a dimension-three Jacobian-conjecture counterexample

   Python 10

4. lean-interact lean-interact Public

   Interactive Lean 4 + Mathlib formalization from a Claude Code conversation

   Python 10 1

5. 12puzzle 12puzzle Public

   This project contains a complete proof of the isomorphism of the symmetry group of the 12-puzzle and the full symmetric group S_12.

   TeX 9 1

6. DeGiorgi-Explained DeGiorgi-Explained Public

   Forked from scottnarmstrong/DeGiorgi

   JupyterBook guide to the De Giorgi-Nash-Moser theorem, based on Armstrong & Kempe's 56,000-line Lean 4 formalization. Educational companion for professional mathematicians.

   Lean 7