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 — alreadydone - Overview
@alreadydone alreadydone Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@alreadydone
alreadydone
Follow
View alreadydone's full-sized avatar

Junyan Xu alreadydone

Follow
Mathematical Research Engineer working on Lean's mathlib4 and autoformalization of algebraic geometry. Formerly postdoc @ Heidelberg U & NIH, PhD @ Indiana U.
277 followers · 834 following
  • Mathlib Initiative
  • Shenzhen
  • 19:57 (UTC +08:00)
  • https://orcid.org/0000-0002-3789-2319
  • @Junyan_Xu
  • https://scholar.google.com/citations?user=bf1mA4oAAAAJ&hl=en

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

    The math library of Lean 4

    Lean 4.5k 1.9k

  2. fusible fusible Public

    Exploration in fusible numbers

    Mathematica 1 1

  3. lean-eval lean-eval Public

    Forked from leanprover/lean-eval

    Comparator-based Lean formal mathematics eval

    Lean

  4. contents contents Public

    GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.

    15 3

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.