История изменений
Исправление
vertexua,
(текущая версия)
:
Ну я знаю что стереотип, но на поверхности у ФП этот злополучный пример, который не впечатляет. Не умеют люди продавать. Тоже самое и с theorem prover langs
Исходная версия
vertexua,
:
Ну я знаю что стереотип, но на поверхности у ФП этот злополучный пример, который не впечатляет. Не умеют люди продавать. Тоже самое и с theorem proofer langs