Dev.toLean 4 기반 SelfRef 구조를 통한 이종 이론의 공통 타입 스켈레톤 검증Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)AI/MLadvanced30 분 소요2일 전