@ilyasergey

Выпуск 19 октября 2026

1 твитов

Илья Сергей опубликовал новый материал в блоге «Proofs and Intuitions» об эксперименте по интеграции Verus и Lean. Работа посвящена переносу интерактивных доказательств и математических библиотек в автоматизированную верификацию Rust.

Темы: Verus и Lean · верификация Rust · интерактивные доказательства · математические библиотеки

Ключевые твиты