Skip to content
View FrankieeW's full-sized avatar
3 followers · 8 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLOAchievement: Public Sponsor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLOAchievement: Public Sponsor

Highlights

Block or report FrankieeW

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
FrankieeW/README.md

Typing SVG

Website frankiefcw Location

🎓 About Me

🎓 Education

  • Imperial College London
    MSc Pure Mathematics 2025-Present
  • University of Leicester + 大连理工大学(Dalian University of Technology)
    BSc Mathematics (Dual Degree Programme) 2021-2025
    • Leicester: Mathematics | DUT: 数理基础科学(Mathematics & Physics)

🔬 Research Interests

  • Algebraic Number Theory
  • Algebraic Geometry
  • Formalization of Mathematics
  • Mathematical Physics

Mathematics enthusiast exploring formal verification and algebraic geometry

🛠️ Tech Stack

💻 Programming Skills

← Proficiency →
○ ◔ ◑ ◕ ●
Rust C++ Go
JavaScript		 R
Shell
MATLAB
Java		 Python

🔬 Tools & Others

Category Tools
🔬 Formalization Lean 4 Mathlib
📝 Typesetting LaTeX Typst
🛠️ Dev Tools Git Neovim OpenCode VS Code
📝 Current Focus
  • 🧮 Formalizing in Lean 4 about ANT
📈 Activity Graph

Activity Graph

Profile Views

Pinned Loading

  1. WangFrankie/QuadraticNumberFields WangFrankie/QuadraticNumberFields Public

    A formalization of quadratic number fields in Lean 4

    Lean 4

  2. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean 1

  3. leanmgr leanmgr Public

    Rust

  4. homebrew-tap homebrew-tap Public

    Ruby

  5. openusage openusage Public

    Forked from robinebers/openusage

    Burning through your subscriptions too fast? Paying for stuff you never use? Stop guessing. OpenUsage is free and open source.

    TypeScript 1

  6. openusage-collection openusage-collection Public

    JavaScript 1