Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View ayhon's full-sized avatar
👔
Doing formal methods
👔
Doing formal methods
24 followers · 23 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report ayhon

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@remigerme
Rémi Germe remigerme
CS student interested in formal verification

École polytechnique Paris, France

@BettyeJean-coder
Bettye BettyeJean-coder
Thank you for reading my profile. I'm Bettye Taylor, a 23-year-old computer engineering student.

Chicago IL

@Connor9994
Connor Connor9994
@gllmc
Guillaume Chirache gllmc
Fourth-year student at École polytechnique, doing the M2 MPRI

Paris, France

@Invisibleaxe
Invisibleaxe
@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

@TimVW7
TimVW7
@DUKITROX
Daniel Bordeianu DUKITROX
Math + CS student

Madrid, España

@secureshadow
Silent Whisper secureshadow
🚀 External advisor at Solaris Uvigo Aerotech

Sener Spain

@dgonzalezarbelo
Daniel González Arbelo dgonzalezarbelo

Bending Spoons Madrid

@hugoperez3i
hugoperez3i
@Zinoujoker
Zine Eddine Zinoujoker
Algerian 🇩🇿 Gaming 🎮 & Tech Enthusiast 🧑‍💻

Algerie

@dmunozv04
David dmunozv04

@ficodes

@comxpuda
comxpuda
@bbjubjub2494
Julie B. bbjubjub2494
Shallue-van de Woestijne girl

Lausanne, Switzerland

@Qu4t3rnum
Qu4t3rnum
@TalosSources
TalosSources
@FlorianCassayre
Florian Cassayre FlorianCassayre
CERN · EPFL'22 alumni · Open-source & Climate

@CERN France · Switzerland

@ErVinuelas
ErVinuelas

Aarhus, Denmark

@bgonzalez380
bgonzalez380
@cmeneses1
Carlos E. Meneses cmeneses1

Madrid, España

@Gmarcoel
Guille Gmarcoel
BSc in Computer Science, MSc in Computer Science, MSc in Artificial Intelligence

Madrid

@CaiJimmy
Jimmy CaiJimmy