Автоматична верифікація декларацій: перші результати

Ми вітаємо ваші коментарі. Прохання дотримуватися наших правила коментування.