Skip to content
View juda's full-sized avatar
🌎
Brave & Bright
🌎
Brave & Bright
  • Hong Kong

Organizations

@dmlc @OPLSS

Block or report juda

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. Iso-Recursive-Subtyping Iso-Recursive-Subtyping Public

    Revisiting Iso-Recursive Subtyping

    HTML 3 1

  2. dissertation-artifacts dissertation-artifacts Public

    The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"

    Coq 2

  3. Recursive-Subtyping-for-All Recursive-Subtyping-for-All Public

    The artifact of the paper "Recursive Subtyping for All"

    Coq 8 1