Skip to content
View FrankieeW's full-sized avatar
2 followers · 6 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLOAchievement: Public Sponsor

Achievements

Achievement: 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 supported. This note will be visible to only 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. QuadraticNumberFields QuadraticNumberFields Public

    A formalization of quadratic number fields in Lean 4

    Lean 1

  2. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean 1

  3. ANT ANT Public

    Lean 1

  4. DUT-letter-latex DUT-letter-latex Public

    TeX 1

  5. formalising-mathematics-notes formalising-mathematics-notes Public

    Forked from b-mehta/formalising-mathematics-notes

    Course notes for Formalising Mathematics 2026

    Lean 1

  6. GroupAction GroupAction Public

    First project: Group Actions

    TeX 1