[14:13:27] <ada_ru> (I_vlxy_I) https://www.youtube.com/watch?v=Bx08yRsR9ow
[14:14:11] <ada_ru> (Gourytch)  отвечает (Максим) на <https://blog.adacore…>
на SPARKе надо. Для внушительности )
[15:04:22] <OCTAGRAM> ещё какой-то E есть
[15:06:58] <ada_ru> (I_vlxy_I) нету
[17:03:55] <vgodunko> Нужен Ё
[17:08:24] <OCTAGRAM> ну а что
[17:08:39] <OCTAGRAM> есть реализация E для Java и Common Lisp
[17:08:56] <OCTAGRAM> будет ещё Ё — реализация E для Ады
[18:09:02] <ada_ru> (Максим) Вы о чём?
[18:09:05] <ada_ru> (Максим) Про это? https://github.com/AdaDoom3/bitcoin_script
[18:12:30] <ada_ru> (I_vlxy_I) Казалось бы, при чем тут Doom3? 😊
[18:29:46] <OCTAGRAM> Максим, да, на эту тему всё
[18:30:19] <OCTAGRAM> в E есть какие-то контракты, и криптография их как-то защищает
[18:36:34] <ada_ru> (Максим) я слышал SPARK для доказательства эфирных контрактов не сильно подходит, там типа о параллельных событиях надо судить