shingtaklam1324 - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

PhD student at Warwick, formerly at Glasgow. Cambridge graduate.

My interests lie in the interactions between algebraic and differential geometry.

Pinned Loading

  1. Lean 3's obsolete mathematical components library: please use mathlib4

    Lean 1.7k 291

  2. Lean 3 Theorem Prover (community fork)

    C++ 434 80