SUNG-HEE

린 (Lean) 파트 1을 통한 공식 검증 소개

작성자

카테고리:

← 피드로
Hacker News · badcryptobitch · 2026-07-20 커뮤니티

▲ 5점 · 댓글 💬 0개 · 해커뉴스

원문 보기 ↗

출처: hashcloak.com · https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)

코멘트

답글 남기기

더 많은 게시물