Skip to content
View iehality's full-sized avatar
25 followers · 14 following

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Pair Extraordinaire

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Pair Extraordinaire

Organizations

@FormalizedFormalLogic

Block or report iehality

Report abuse

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

Report abuse

Pinned Loading

  1. FormalizedFormalLogic/Foundation FormalizedFormalLogic/Foundation Public

    Formalization of Mathematical Logic

    Lean 219 17