Dev.toMetamath 기반의 초심자 친화적 Proof Assistant, Starling 설계Introducing Starling: A User-Friendly Proof AssistantInfrastructureintermediate5 분 소요4시간 전
GeekNews왜 그냥 Lean만 쓰지 않나요?모멘텀과 Tooling 생태계 기반의 Lean 기반 정형 검증 체계 분석Infrastructureadvanced12 분 소요2026년 4월 29일