5·other·분석·GeekNews·2026. 07. 29.프로그램 검증에서 Rocq가 Lean보다 나은 이유Rocq가 프로그램 검증에서 Lean보다 우수한 이유를 설명합니다.Explains why Rocq is superior to Lean in program verification.#rocq#lean#coinductive#cofixpoint#공귀납요약 보기원문 →