Описание тега fstar-mode
0
ответов
FStar - Различные результаты в режиме fstar и командной строке
Я следую учебному пособию для F * https://www.fstar-lang.org/tutorial/ и настроил Emacs с режимом fstar https://github.com/FStarLang/fstar-mode.el в Ubuntu. Я думаю, что я не понимаю, как правильно проверять типы файлов, потому что, когда я делаю эт…
01 янв '19 в 19:57
0
ответов
Есть ли в F* функция поиска для проверки?
Как мы знаем, у нас есть "auto" (пробный поиск) в Agda (Ctrl+c Ctrl+a в Emacs), а также в Idris и Coq, но когда я копался в режиме Fma's Emacs, мне не удалось найти аналогичный функционал. Есть ли у F* эта функция? Если так, как я могу использовать …
10 авг '18 в 01:08
1
ответ
GDB с Emacs и F*
Я хотел бы отладить простую F* программу, используя Emacs fstar-mode и gdb. В самом конце вики режима fstar https://github.com/FStarLang/fstar-mode.el есть информация: The fstar-gdb command (M-x) attaches GDB to the current F* process and launches E…
21 янв '19 в 18:37
1
ответ
Как я могу отобразить значение и / или тип выражения fstar?
Я просматриваю учебник по fstar, используя emacs fstar-mode. Есть ли способ оценить выражение или его тип? Я ищу эквивалент #check или #eval Lean.
04 сен '21 в 20:44