Nothing Special   »   [go: up one dir, main page]
Skip to content
View marcbezem's full-sized avatar
19 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Block or report marcbezem

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
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@bakseter
Andreas Salhus Bakseter bakseter
Private profile, developer at @computas.

@echo-webkom Oslo

@pretentious7
pretentious7
@farhad-vadiee
Farhad Vadiee farhad-vadiee
I am a PhD Student at the University of Bergen - Informatics

Norway

@YiqiXu
Yiqi Xu YiqiXu
@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité Paris, France

@smimram
Samuel Mimram smimram
@dsl-course
dsl-course
Educational materials on domain-specific languages, Eclipse Xtext and JetBrains MPS.
@jonaprieto
Jonathan Cubides jonaprieto
Read/write types and proofs for fun and profit. Better HoTT than cold.
@vikraman
Vikraman Choudhury vikraman
Marie Skłodowska-​Curie Fellow

Università di Bologna Bologna, Italy

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@bafain
Fabian bafain

Göteborg, Sweden

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@JakobKallestad
Jakob Vigerust Kallestad JakobKallestad
@adneforslund
Ådne Forslund adneforslund
@JonasTriki
Jonas Folkvord Triki JonasTriki

@IslandGardenDev Bergen, Norway

@mikberg
Mikael Berg mikberg

Cognite Oslo, Norway

@haitech
Thomas Le haitech

Knowit Oslo

@andern
Andreas Halle andern