Lys

Lys

Maintaining several Coq libraries, including coq-ext-lib, QuickChick, Reduction Effects etc.
Leading the Chinese translation of Software Foundations.