Английская Википедия:IsaPlanner: история изменений

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

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

27 марта 2024

  • текущ.пред. 02:3602:36, 27 марта 2024EducationBot обсуждение вклад 3282 байта +3282 Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Isaplanner is a proof planner for Isabelle and provides users various tools to prove theorems}} {{primary|date=January 2014}} '''IsaPlanner'''<ref>IsaPlanner 2: A Proof Planner in Isabelle. Lucas Dixon and Moa Johansson. System Description/Technical Report. 2007.</ref> is a proof planner for the interactive proof assistant, Isabelle theorem...»