您即将离开知乎，请注意您的账号和财产安全。
https://hol-theorem-prover.org/%20%20%20%20%E5%AE%9A%E7%90%86%E8%AF%81%E6%98%8E%E5%99%A8
