Skip to content
Avatar
417 followers · 0 following · 29

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@IMO-grand-challenge
Block or Report

Block or report kbuzzard

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.

Report abuse

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

Report abuse

Pinned Loading

  1. xena Public

    Lean Library currently studying for a degree at Imperial College

    Lean 196 22

  2. leanprover-community/lean-perfectoid-spaces Public

    Perfectoid spaces in the Lean formal theorem prover.

    Lean 94 10

857 contributions in the last year

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

Contribution activity

December 2021

Created 3 commits in 3 repositories

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

[Merged by Bors] - fix(topology/algebra/uniform_field): remove unnecessary topological_r…

…ing variable Right now the last three definitions in topology.algebra.uniform_field (after line 115) have [topological_division_ring K] and [topol…

+1 −1 • 2 comments
Loading

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