Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xinyi Wan
conf.researchr.org general profile
POPL 2023 profile
Registered user since Tue 18 Oct 2022
Name:
Xinyi Wan
Contributions
2023
CoqPL
Author of Interactive Theorem Proving in Logic Education：A Coq Formalization of ZFC Set Theory for Discrete Mathematics Teaching within the CoqPL 2023-track
Share
x
Sun 22 Dec 03:10