Skip to content
View martipares's full-sized avatar
1 follower · 10 following
  • Vic
  • 20:18 (UTC -12:00)

Block or report martipares

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
@The-Clowder-Project
The Clowder Project The-Clowder-Project
The Clowder Project is a wiki and an online resource for category theory and mathematics.

Brazil

@Eloitor
Eloi Torrents Eloitor

Universitat Autònoma de Barcelona Barcelona

@agda
Agda Github Community agda
@dvmcarpena
David Martínez Carpena dvmcarpena
Mathematician and computer scientist. PhD student and teaching assistant at the University of Barcelona. Higher category theory and homotopy type theory.
@alacritty
Alacritty alacritty
@benbrastmckie
Benjamin Brast-McKie benbrastmckie
Logic

MIT, Cambridge

@gillescastel
Gilles Castel gillescastel
Mathematics student

University of Leuven Belgium

@vim
Vim - the text editor vim
The github base for core Vim
@stacks
The Stacks Project stacks
@HoTT
Homotopy Type Theory HoTT