|
|
Пишет memoryallocator (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} memoryallocator) |
> программировать, наоборот, терпеть не могу
А Вы не пробовали пруверы вроде Coq, Isabelle, Agda, Idris? Предположу, что Вам как математику процесс доказательства корректности программ будет интересен. Например: https://github.com/0xd34df00d/refin
Впечатляет, правда?
А Вы не пробовали пруверы вроде Coq, Isabelle, Agda, Idris? Предположу, что Вам как математику процесс доказательства корректности программ будет интересен. Например: https://github.com/0xd34df00d/refin
Впечатляет, правда?
Добавить комментарий:
