Dev.toLean 4를 통한 소프트웨어의 논리적 검증 및 Formal Verification 구현10 Most Important Things You Should Learn in Lean 4Securityadvanced13 분 소요2026년 5월 28일
Dev.toCurry–Howard 대응을 통한 프로그램 정적 검증의 유형론적 구현From Logic to Code: Understanding the Curry–Howard Correspondence in LeanInfrastructureadvanced13 분 소요2026년 5월 18일
GeekNews프로그래밍의 일곱 가지 원형 언어 (2022)언어 패러다임 분석 통한 F#의 병렬 처리 성능 우위 확인Infrastructureadvanced13 분 소요2026년 4월 20일