Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hao Xu
conf.researchr.org general profile
Internetware 2023 profile
Registered user since Tue 20 Jun 2023
Name:
Hao Xu
Contributions
2023
Internetware
Author of Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving within the Main Track-track
Share
x
Sun 5 Oct 19:51