如果这不是正确的堆栈交换网站,请告诉我更适合的地方。如果有更好的标签,请告诉我,我会添加它们(或者如果您愿意/能够的话,您可以自行添加)。此外,我正在使用Mac电脑。
我想使用Mizar。我已经下载了它,现在正在尝试按照此教程进行操作:https://www.cs.ru.nl/~freek/mizar/mizman.ps.gz (您可以通过谷歌搜索“九步写作Mizar文章”,并跟随第一个链接找到此教程)。
我正在尝试使用命令mizf text/my_mizar.miz,就像页面3(页中部)的教程建议的那样。问题似乎是我缺少一个名为mml.ini的文件,我不确定应该将这个文件放在哪里。
我曾经尝试将它放在顶层目录(例如,在/中),但这没用(而且需要sudo到root,这是我不想做的)。这是我的控制台副本,让你了解我做了什么。
我想使用Mizar。我已经下载了它,现在正在尝试按照此教程进行操作:https://www.cs.ru.nl/~freek/mizar/mizman.ps.gz (您可以通过谷歌搜索“九步写作Mizar文章”,并跟随第一个链接找到此教程)。
我正在尝试使用命令mizf text/my_mizar.miz,就像页面3(页中部)的教程建议的那样。问题似乎是我缺少一个名为mml.ini的文件,我不确定应该将这个文件放在哪里。
我曾经尝试将它放在顶层目录(例如,在/中),但这没用(而且需要sudo到root,这是我不想做的)。这是我的控制台副本,让你了解我做了什么。
➜ testing ls -R
dic mml.ini text
./dic:
my_mizar.voc
./text:
my_mizar.err my_mizar.miz
➜ testing cat dic/my_mizar.voc
➜ testing cat text/my_mizar.miz
environ
begin
➜ testing mizf text/my_mizar.miz
**** File not found ****
**** Can't open ' /mml.ini ' ****
➜ testing