Skip to content
View TOTBWF's full-sized avatar
208 followers · 14 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report TOTBWF

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

Pinned Loading

  1. the1lab/1lab Public

    A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

    Agda 366 72

  2. refinery Public

    ⛏️ A refinement proof framework for haskell

    Haskell 69 3

  3. RedPRL/cooltt Public

    😎TT

    OCaml 225 14

  4. agda-tic-tac-toe Public

    Tic Tac Toe, formalized in Agda

    Agda 23 1

  5. lean-rz Public

    Realizability theory in lean

    Lean 4 1

  6. sinhp/groupoid_model_in_lean4 Public

    Lean 16 6

283 contributions in the last year

Contribution Graph
Day of Week April May June July August September October November December January February March April
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

April 2025

Created 1 commit in 1 repository

Created a pull request in the1lab/1lab that received 2 comments

Jointly Cartesian Families

Description This PR defines jointly cartesian families, which paves the way for the correct way to handle #424. Right now the prose is a bit sparse…

+1,560 −235 lines changed • 2 comments
Reviewed 1 pull request in 1 repository
the1lab/1lab 1 pull request
Loading