https://www.cs.unm.edu/~mccune/mace4/gui/v05.html 这个网址已经不能下载了吧？没关系，在这里下载。
2021-09-27 23:20:17
5.2MB
1