The Wayback Machine - https://web.archive.org/web/20230105043014/https://github.com/jonsterling
Skip to content
Avatar
😎
😎

Highlights

  • Pro

Organizations

@logsem
Block or Report

Block or report jonsterling

Report abuse

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

Report abuse

Pinned

  1. math Public

    A mini-book on category theory.

    TeX 38 5

  2. 😎TT

    OCaml 193 14

  3. "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

    OCaml 193 12

  4. coq-sgdt Public

    Coq 5 1

4,080 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity

January 2023

Reviewed 1 pull request in 1 repository
15 contributions in private repositories Jan 1 – Jan 4