Theorem Proving (HOL4)
Chun Tian
Postdoctoral Fellow
Location
Skaidrite Darius Building 108, Office N243
Email
chun.tian@anu.edu.au
Clusters
Computing Foundations