Sitelet https://web.archive.org/web/20200930104319/https://github.com/jsm28
Skip to content
Avatar
  • Block or report user

    Block or report jsm28

    Block user

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

    Report abuse

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

    Report abuse
6 followers · 0 following · 6

Highlights

  • Arctic Code Vault Contributor

Popular repositories

  1. bmo2-2020-lean

    Beginner experiments in formalisation of solutions to mathematical olympiad problems, using problems from the second round of the British Mathematical Olympiad 2019/20.

    Lean 6

  2. bsd-games

    Inactive - GNU/Linux port of the NetBSD games collection - see https://www.polyomino.org.uk/computer/software/bsd-games/ for more information and links to newer versions

    C 5 3

  3. matholymp-py

    Mirror of git://git.ukmt.org.uk/git/matholymp-py.git - Python software for creating and maintaining websites for mathematical olympiads, with online registration and support for various associated …

    Python

  4. medal-boundaries

    Mirror of git://git.ukmt.org.uk/git/medal-boundaries.git - Algorithms for mathematical olympiad medal boundaries

    Python

  5. tms-meetings

    List of Trinity Mathematical Society meetings, originally created by Paul Taylor

    Python

  6. mathlib

    Forked from leanprover-community/mathlib

    Lean mathematical components library

    Lean

666 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

September 2020

Created a pull request in leanprover-community/mathlib that received 4 comments

[Merged by Bors] - feat(linear_algebra/affine_space,geometry/euclidean): simplex centers and order of points

Add lemmas that the centroid of an injective indexed family of points does not depend on the indices of those points, only on the set of points in …

+80 −0 • 4 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.