4зной
3ответ
Что именно делает квантор * +?
0зной
1ответ
Coq - Универсальные кванторы в hypoteses
1зной
1ответ
Правильный синтаксис квантификатора в шаблоне регулярных выражений с помощью grep в Solaris?
2зной
1ответ
(применить qe) не устраняет сразу все кванторы?