30 августа 2019 · КомментарийБез заголовкаavlasov · Оригинал в ЖЖ ↗ · Ссылка на записьhttps://stainless.epfl.ch/ вот кстати пример подхода о котором Вы пишете (верификационный eDSL на Скале) Но ИМХО это не менее маргинально нежели Coq :).