Вопросы по теме 'fstar'
Проблемы с проверкой простых программ в F* (FStar)
Я использую F* 0.9.6.0 и не могу заставить эту простую программу пройти проверку подтипов:
module Test
open FStar.String
let minlen s n = strlen s >= n
let maxlen s n = strlen s <= n
let isLanguageValid s = (minlen s 2) && (maxlen...
59 просмотров
schedule
05.11.2022