Skip to content
View cj-xu's full-sized avatar
22 followers · 1 following

Block or report cj-xu

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

Popular repositories Loading

  1. PC19 PC19 Public

    Course material of the autumn school "Proof and Computation", 20-26 September 2019, Herrsching, Germany

    Agda 8 1

  2. OrdinalNotations OrdinalNotations Public

    An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions

    Agda 6 2

  3. GentzenTrans GentzenTrans Public

    A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation

    Agda 4

  4. ContinuityType ContinuityType Public

    This is the Agda implementation of Chuangjie Xu's PhD thesis, namely A Continuous Computational Interpretation of Type Theories

    3

  5. PC22 PC22 Public

    Course material of the autumn school "Proof and Computation", 26 September to 1 October 2022, Fischbachau, Germany

    Agda 1 1

  6. TContinuity TContinuity Public

    An Agda proof of (uniform) continuity of T-definable functionals via a syntactic approach

    Agda