Commits

Show all
Author Commit Message Labels Comments Date
ppavel
Пример работы с тем, что я планирую доказать в будущем
ppavel
[mq]: ∪-monoid получен переименованием
ppavel
⊆ для событий (получен из poset для решеток)
ppavel
.hgignore, выключающий видимость интерфейсных файлов
ppavel
Формулировка аксиоматики