Показать HN: Tiny Hoare логический верификатор с использованием SMT=news.ycombinator.com=

Показать HN: Tiny Hoare логический верификатор с использованием SMT ( github.com/namin )

fovc 36 минут назад [–]
Очень хорошо! Для других читателей vc — это сокращение от verification condition, а wp — это сокращение от weakest precondition.


Рассмотрите возможность подачи заявки на набор в YC на осень 2025 года! Заявки принимаются до 4 августа

Source: news.ycombinator.com

Leave a Reply

Your email address will not be published. Required fields are marked *