Pinned Loading

1. 2nd-Minima 2nd-Minima Public template

   2nd-Minima is an enhanced and customized version of the Jekyll-theme-Minima, tailored for personal blogging. It includes detailed step-by-step tutorials for beginners on building and deploying blog...

   SCSS 7

2. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.8k 1k

3. vscode-CP-codeforces vscode-CP-codeforces Public archive

   A VSCode extension that enables users to view and solve Codeforces problems within VS Code.

   TypeScript 3 1

4. Lean-zh/fp-lean-zh Lean-zh/fp-lean-zh Public

   Lean 函数式编程

   Lean 43 14