Я хочу доказать свойство, параметризованное для конечного числа случаев.Я хотел бы разделить...

Я хотел бы написать функцию, которая обеспечивает, чтобы ее аргумент синтаксически был константной...

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

На вики-странице https://github.com/FStarLang/FStar/wiki/Profiling-Z3-queries предлагается...

Я следую учебному пособию для F * https://www.fstar -lang.org / tutorial / , и я установил Emacs с...