-
SonarSource
- Bochum, Germany
-
05:08
(UTC +02:00) - http://cj-xu.github.io/
Block or Report
Block or report cj-xu
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
OrdinalNotations
OrdinalNotations PublicAn Agda development of ordinal notations based on Cantor normal form via simultaneous definitions
-
GentzenTrans
GentzenTrans PublicA monadic translation of Gödel's System T in the spirit of Gentzen's negative translation
Agda 4
-
ContinuityType
ContinuityType PublicThis is the Agda implementation of Chuangjie Xu's PhD thesis, namely A Continuous Computational Interpretation of Type Theories
-
TContinuity
TContinuity PublicAn Agda proof of (uniform) continuity of T-definable functionals via a syntactic approach
Agda
If the problem persists, check the GitHub status page or contact support.