Skip to content
View Whysoserioushah's full-sized avatar
4 followers · 1 following

Achievements

Achievement: Pull SharkAchievement: Pair Extraordinaire

Achievements

Achievement: Pull SharkAchievement: Pair Extraordinaire

Block or report Whysoserioushah

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Popular repositories Loading

  1. BrauerGroup_new BrauerGroup_new Public

    Lean 6

  2. MATH50003NumericalAnalysis MATH50003NumericalAnalysis Public

    Forked from Imperial-MATH50003/MATH50003NumericalAnalysis2022-23

    Notes and course material for MATH50003 Numerical Analysis (2022–2023)

    Jupyter Notebook

  3. hello hello Public template

    Forked from oopython-exercises/hello

    Introductory "Hello World" exercise.

    Python

  4. formalising-mathematics-2024 formalising-mathematics-2024 Public

    Forked from ImperialCollegeLondon/formalising-mathematics-2024

    Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.

    Lean

  5. FLT FLT Public

    Forked from ImperialCollegeLondon/FLT

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem

    Lean