Все доступные журналы
Перейти к навигации
Перейти к поиску
Общий список журналов сайта DZWIKI. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 00:35, 27 марта 2023 Dzmuh обсуждение вклад создал страницу F* (Новая страница: «'''F *''' (произносится как F star) — функциональный язык программирования, основанный на ML и ориентированный на формальную верификацию разрабатываемых на нём программ. Его система типов включает в с...»)