Skip to content
View 4ever2's full-sized avatar
10 followers · 0 following
  • Denmark

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Galaxy BrainAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Galaxy BrainAchievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report 4ever2

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
@rickbonavigo
Riccardo Bonavigo rickbonavigo
@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@AndersSeverinsen
Anders Severinsen AndersSeverinsen
Computer Science Student at Aarhus University, Denmark.

Aarhus University Aarhus, Denmark

@shrsv
Shrijith Venkatramana shrsv

Bangalore

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

@coq-community Vietnam

@dhsorens
Derek Sorensen dhsorens

University of Cambridge Cambridge, UK

@yoki31
Nittaya Schlamp yoki31
my old profile and successfully passed the learning test
@AESL27
AESL27
@Lojzicek
Alois kroscen Lojzicek
Rád pracuji
@detmig123
detmig123