Вчера попробовал доказывать простейшие свойства операций над множествами на Мицаре. Круто, я втыкаю.

К сегодняшнему дню уже целых три поданных заявления в магистратуру! До окончания приёма документов осталось пять дней.