Я бы хотел отладить простую F * программу, используя Emacs fstar-mode и gdb. В самом конце вики...
Я следую учебному пособию для F * https://www.fstar -lang.org / tutorial / , и я установил Emacs с...