Pinned Loading

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

   TypeScript 502 16

2. Flashcards. Beautiful. Effortless.

   JavaScript 402 83

3. A formalized proof of Carleson's theorem in Lean

   Lean 87 39

4. The next open source file uploader for web browsers 🐶

   TypeScript 30.7k 2.1k