Found 1 repositories(showing 1)
L-TChen
Type theories as quotient inductive-inductive-recursive types
All 1 repositories loaded