formal-verification on dosi.dev

formal-verification on dosi.dev https://dosi.dev/tags/formal-verification/ Recent content in formal-verification on dosi.dev Hugo ko Wed, 23 Sep 2026 00:00:00 +0000 [LINK/SUMMARY/번역] Opus 5.5로 Claude Agent SDK를 Lean으로 형식 검증했다 — 짧은 프롬프트 몇 개가 PR 16개로 https://dosi.dev/post/2026-09-23-opus-lean-formal-verification-claude-agent-sdk/ Wed, 23 Sep 2026 00:00:00 +0000 https://dosi.dev/post/2026-09-23-opus-lean-formal-verification-claude-agent-sdk/ Boris Cherny의 Lean 형식 검증 트윗과 첨부 영상(Slack 스레드) 전문 완역, 인포그래픽 전사, 팩트체크.