Pinned Loading

1. Paper-Proof/paperproof Paper-Proof/paperproof Public

   Lean theorem proving interface which feels like pen-and-paper proofs.

   TypeScript 503 16

2. memcode memcode Public

   Flashcards. Beautiful. Effortless.

   JavaScript 402 83

3. fpvandoorn/carleson fpvandoorn/carleson Public

   A formalized proof of Carleson's theorem in Lean

   Lean 87 39

4. transloadit/uppy transloadit/uppy Public

   The next open source file uploader for web browsers 🐶

   TypeScript 30.7k 2.1k