Benjamin Davidson
Student
New York, New York, United States
Summary
🤩
RockstarBen Davidson is a front-end developer and multimedia designer based in Royal Oak, Michigan, with five years of focused front-end experience and a longer track record creating digital and print work for brands like Campbell’s, Kellogg’s, USA Hockey, and Case IH. He blends pixel-level UI craft, vector and print design know-how, and production-ready front-end code to deliver polished marketing sites and reusable components. Ben’s background includes project and design leadership roles, from web project manager to design director, and ongoing freelance work that keeps him client-focused and delivery-driven. Unusually for a front-end specialist, he has contributed to the Lean mathlib3 library—implementing trigonometric and calculus lemmas—demonstrating strong analytical and formal reasoning skills alongside his design practice. He also lists Columbia University on his GitHub profile, reflecting a commitment to continual learning.
5 years of coding experience
Github Skills (8)
theorem-proving10
calculus10
proofs10
analyse10
proof10
leanback10
math9
mathematics9
Programming languages (2)
Github contributions (5)
leanprover-community/mathlib3
Jul 2020 - Jul 2021
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:383 reviews, 136 commits, 89 PRs in 11 months
Contributions summary:Benjamin contributed to the `mathlib3` library by implementing and refactoring mathematical functions and related lemmas. They focused on expanding trigonometric functions, adding new lemmas for their derivatives, as well as adding lemmas pertaining to even and odd natural powers, demonstrating a deep understanding of mathematical concepts within the context of formal proofs. The user also added multiple integration rules, which is evident in their focus on analysis and calculus.
maththeorem-provingcomponents-librarymathematicsjavascript
benjamindavidson/mathlib-seminar
Mar 2021 - Mar 2021
Contributions:406 branches, 1 tag in 1 day
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.