Теоретико-доказова семантика: історія змін


Вибір версії: позначте у кружечках версії для порівняння і натисніть «Enter» або кнопку внизу.
Пояснення: (поточн.) = відмінності від поточної версії, (попер.) = відмінності від попередньої версії, м = незначне редагування.

24 вересня 2022

23 вересня 2022

2 квітня 2022

18 лютого 2022

8 травня 2019

6 березня 2019

22 січня 2019

14 січня 2018

4 червня 2017

29 травня 2017

28 травня 2017