IC
найти то как ?
Size: a a a
2020 February 21
IC
хватит умничать, код давай
AH
хватит умничать, код давай
нихуя себе, но это ж бля цельное дело
AH
берешь значит петухана и пишешь в нем леммы
AH
Coq
AH
он тебя нахуй посылает, ты ебешься с ним неделю и в итоге ты доказываешь первую (из сотни)
IC
ты интеллектом не дави
AH
Не, ну это так делается, я тут ни при чем
IC
берешь значит петухана и пишешь в нем леммы
это вообще что за эльфийский?
AH
Короче, если хочешь быстро, воспользуйся фаззерами и проперти тестами, если ты сможешь вывести эти проперти
AH
нет, пролог не для этого сделан.
AH
Но ряд решений пролога открыли дорогу формальным верификаторам
AH
Вообще не близко!
AH
Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification.
IC
Короче, если хочешь быстро, воспользуйся фаззерами и проперти тестами, если ты сможешь вывести эти проперти
беда с тобой, а на божественном C# как это сделать?