Обсуждение участника:Arachnelis/Сусек: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 45:
:::* Здесь согласен, это надо переписать. [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 16:39, 8 августа 2017 (UTC)
== ЯП: "ML доминирует в формальной верификации" ==
|