Skip to content
View bafain's full-sized avatar
21 followers · 51 following
  • Göteborg, Sweden

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@team-worthwhile

Block or report bafain

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

Stars

Showing results

michaelt / martin-lof

papers of Per Martin Löf

TeX 824 72 Updated Jan 30, 2024

mattearnshaw / lawvere

The collected works of F. W. Lawvere

381 43 Updated Sep 6, 2024

thosgood / translations

some maths papers in English

TeX 22 3 Updated Jun 9, 2026

ryankeleti / ega

amateur translation project of Grothendieck's EGA.

TeX 395 44 Updated Apr 28, 2026

thescrivener / PursuingStacks

LaTeX version of Grothendieck's Pursuing Stacks

TeX 53 13 Updated Oct 20, 2021

peterlefanulumsdaine / palmgren-archive

Research material of Erik Palmgren (1963–2019)

Agda 21 3 Updated Apr 7, 2025