Qinxiang Cao - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Registered user since Sun 26 Jun 2016

Name:Qinxiang Cao

Country:China

Affiliation:Shanghai Jiao Tong University

Personal website: http://jhc.sjtu.edu.cn/people/members/faculty/qinxiang-cao.html

Contributions

2023

CoqPL

Interactive Theorem Proving in Logic Education：A Coq Formalization of ZFC Set Theory for Discrete Mathematics Teaching
Committee Member in Program Committee within the CoqPL 2023-track

Show activities from other conferences

POPL 2023-profile
View general profile