Skip to content
View adomani's full-sized avatar
15 followers · 0 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3

Block or report adomani

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
@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

@MohammedSharukh
Mohammed Sharukh A MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics

PlanetSpark Kerala, India

@AadamHaq
Aadam Haq AadamHaq
Maths student interested in data science and quant research. Particularly interested in Machine Learning and AI
@nrs-status
nrs nrs-status
@sonicpose
sonicpose
@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@BachoSeven
Francesco Minnocci BachoSeven
Graduated UWCAD '19, currently Undergrad Math Student at Unipi

PHC Pisa, Italy

@matematiflo
Florent Schaffhauser matematiflo

Heidelberg University Heidelberg

@jtucker-maths
Jakub Tucker jtucker-maths
@Jun2M
Jun Kwon Jun2M
@mo271
Moritz Firsching mo271

Google Research Basel, CH

@madvorak
Martin Dvořák madvorak

Institute of Science and Technology, Austria Czech Republic

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen