Skip to content
View mepuka's full-sized avatar
10 followers · 25 following
  • Chicago

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Block or report mepuka

Report abuse

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

Report abuse

Pinned Loading

  1. pure-algebra/lean4-nlp pure-algebra/lean4-nlp Public

    Lean 1

  2. pure-algebra/lean4-effect4 pure-algebra/lean4-effect4 Public

    Lean 1

  3. pure-algebra/lean4-whatwg pure-algebra/lean4-whatwg Public

    WHATWG Streams Standard reified in Lean 4: spec-authoritative first-order model, relational semantics, EffHOL logic layer, checked TypeScript lowering

    Lean 1