Popular repositories Loading

1. Drawing Link Projection Diagrams

   Haskell 2

2. Computing Khovanov homology and its first derivative.

   C++ 2

4. Calculus in monoidal categories with Lean 4.

   Lean 1

5. Playground for Lean 4

   Lean 1