Isabelle/HOL, Lean, HOL4, Agda에 대한 (나름의) 주관적인 비교A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda▲ 1 · blueberrywren.dev · 3시간 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…