Skip to content
View anjapetkovic's full-sized avatar
39 followers · 11 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report anjapetkovic

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@melanie-taprogge
Melanie Taprogge melanie-taprogge
PhD student at the Université Paris-Saclay and the University of Greifswald
@MichaelRawson
Michael Rawson MichaelRawson
computer scientist, automated theorem proving

University of Southampton UK

@laurakovacs
laurakovacs

TU Wien

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@jO-Osko
Filip Koprivec jO-Osko

FMF, AFLabs

@Alizter
Ali Caglayan Alizter

@Tarides London, United Kingdom

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

Johns Hopkins University Baltimore, MD

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@peterlefanulumsdaine
Peter LeFanu Lumsdaine peterlefanulumsdaine

Stockholm University Stockholm, Sweden

@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Antwerp / University of Padova Augsburg, Germany