5·other·기타·r/programming·2026. 05. 19.Using algebra to verify a flight-plan bug fix in LeanLean에서 비행 계획 버그 수정을 검증하기 위한 대수학 사용.Using algebra to verify a flight-plan bug fix in Lean.#lean#algebra요약 보기원문 →