Pinned Loading

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

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

   TypeScript 537 17

2. memcode memcode Public

   Open-source SRS

   JavaScript 406 86

3. fpvandoorn/carleson fpvandoorn/carleson Public

   A formalized proof of Carleson's theorem in Lean

   Lean 103 41

4. transloadit/uppy transloadit/uppy Public

   The next open source file uploader for web browsers 🐶

   TypeScript 30.9k 2.1k