GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com โ€” Deep0Thinking - Overview
@Deep0Thinking Deep0Thinking Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@Deep0Thinking
Deep0Thinking
Follow
View Deep0Thinking's full-sized avatar
๐Ÿซ

Louis (Yiyang) Liu Deep0Thinking

๐Ÿซ
Follow
Undergrad @ Carnegie Mellon University
23 followers ยท 49 following
  • Carnegie Mellon University
  • Pittsburgh, U.S.
  • 14:51 (UTC -05:00)
  • https://deep0thinking.com
  • @Deep0Thinking
  • https://www.zhihu.com/people/Deep0Thinking
  • https://orcid.org/0000-0001-5448-5937

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLO

Highlights

  • Developer Program Member
  • Pro

Organizations

@Lean-zh
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
Deep0Thinking/README.md

Hi, this is Louis (Yiyang) Liu ๐Ÿ‘‹

  • ๐ŸŽ“ Math undergrad @ Carnegie Mellon University (Discrete Mathematics & Logic)
  • ๐Ÿ”ฌ Formalization in Lean ยท AI / Automated theorem proving
  • ๐Ÿ”— https://Deep0Thinking.com

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 4.5k 1.9k

  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 48 15

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 โ€” GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800ร—600. No cookies required.