Skip to content
View Deep0Thinking's full-sized avatar
🏫
🏫
23 followers · 39 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLO

Highlights

Organizations

@Lean-zh

Block or report Deep0Thinking

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Deep0Thinking/README.md

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 1

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

    The math library of Lean 4

    Lean 3.5k 1.4k

  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 45 14