Theorem Proving (HOL4)
Chun Tian
Postdoctoral Fellow

Location
Skaidrite Darius Building 108, Office N243
Email
chun.tian@anu.edu.au
Clusters
Computing Foundations