Английская Википедия:ALF (proof assistant): история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

27 декабря 2023

  • текущ.пред. 02:4402:44, 27 декабря 2023‎ EducationBot обсуждение вклад‎ 2160 байт +2160‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Structure editor for monomorphic Martin-Löf type theory}} {{for|the programming language|Algebraic Logic Functional programming language}} '''ALF''' ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda (programming lang...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:ALF_(proof_assistant)