доказательства о регулярных выражениях
Кто-нибудь знает какие-либо примеры следующего?
Доказательства развития событий ообычные выражения (возможно, расширен собратные_связи) в доказательствах (таких какCoq).Программы на зависимо-типизированных языках (таких какAgda) о регулярных выражениях.