Skip to content
View EdAyers's full-sized avatar
🦕
🦕
85 followers · 69 following

Sponsoring

@syncthing

Achievements

Achievement: Starstruckx2Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Organizations

@leanprover-community

Block or report EdAyers

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. Robotone Robotone Public

    The 'Robot' theorem prover. Fork of github.com/mg262/research

    Haskell 12 3

  2. lean-humanproof lean-humanproof Public archive

    Implementation of Gowers & Ganesalingam theorem prover in Lean

    Lean 6

  3. lean-subtask lean-subtask Public

    Subtasks algorithm for Lean

    Lean 5 1

  4. lean-humanproof-thesis lean-humanproof-thesis Public

    Implementation of HumanProof system from https://www.edayers.com/thesis

    Lean 5

  5. Isaac3D Isaac3D Public

    A Google Cardboard app using Unity that visualises concepts in physics.

    C# 4 2

  6. edlib edlib Public

    Some personal experiments in Lean

    Lean 2

2,321 contributions in the last year

Contribution Graph
Day of Week April May June July August September October November December January February March
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to tox-dev/toml-fmt, tox-dev/pyproject-fmt, oven-sh/bun and 4 other repositories
Loading A graph representing EdAyers's contributions from April 07, 2024 to April 08, 2025. The contributions are 48% commits, 25% code review, 21% pull requests, 6% issues.

Contribution activity

April 2025

40 contributions in private repositories Apr 4 – Apr 8
Loading