Здравствуйте, graniar, Вы писали:

G>Я собсно как-раз работаю над такой штуковиной для доказательного программирования, которая радикально отличается в этом плане, не то язык, не то фреймворк.
G>Древовидная структура с предикатами, юзер выбирает из списка возможных следствий. Некоторые следствия создают разветвления.
G>Ветви переносятся, клонируются, сливаются, неконсистентные — удаляются. По итогу генерится код.
Очень интересно. Есть какие-то публичные ресурсы про вашу работу? Статьи или описание продукта?