Как лучше преобразовать программу на rocq или аналоге в pdf — документ с математическими символами, а не кодом?
По вводным: цель: выполнить следующий алгоритм многократно: По вводным: оформить какое-либо математическое решение/доказательство в инструменте интерактивного доказательства теорем (например, roqc/coq, lean, или ином). По...
›