Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yongwang Zhao
conf.researchr.org general profile
Internetware 2023 profile
Registered user since Mon 5 Jun 2023
Name:
Yongwang Zhao
Contributions
2023
Internetware
Author of Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving within the Main Track-track
Share
x
Wed 18 Dec 16:56