Acknowledgments🔗

이 무료 온라인 책은 Microsoft Research의 아낌없는 지원 덕분에 쓰여 배포될 수 있었다. 집필 과정에서 Microsoft Research는 질문에 답하고 Lean을 더 쉽게 사용할 수 있도록 Lean 개발 팀의 전문 지식을 제공했다. 특히 Leonardo de Moura는 프로젝트를 시작하고 내가 착수하도록 도왔고, Chris Lovett은 CI와 배포 자동화를 설정하고 시험 독자로서 훌륭한 피드백을 주었으며, Gabriel Ebner는 기술 검토를 맡았다. Sarah Smith는 행정 업무가 원활히 진행되도록 했고, Vanessa Rodriguez는 소스 코드 강조 표시 라이브러리와 iOS의 특정 Safari 버전 사이의 까다로운 상호작용을 진단하는 데 도움을 주었다.

이 책을 쓰느라 평소 근무 시간 외에도 많은 시간을 들였다. 아내 Ellie Thrane Christiansen은 평소보다 훨씬 많은 가사를 맡았으며, 그렇게 해 주지 않았다면 이 책은 존재할 수 없었을 것이다. 매주 하루를 더 일하는 일은 가족에게 쉽지 않았다. 집필하는 동안 보여 준 인내와 지원에 감사한다.

Lean을 둘러싼 온라인 공동체는 기술적·정서적으로 이 프로젝트를 열정적으로 지원했다. 특히 Sebastian Ullrich는 오류 메시지의 텍스트를 CI에서 검사하면서 책에도 쉽게 포함할 수 있게 하는 지원 코드를 작성하려고 Lean의 메타프로그래밍 시스템을 배울 때 큰 도움을 주었다. 새 개정판을 게시한 지 몇 시간 안에 열성적인 독자들이 오류를 찾아내고 제안을 보내며 친절을 베풀곤 했다. 특히 Arien Malec, Asta Halkjær From, Bulhwi Cha, Craig Stuntz, Daniel Fabian, Evgenia Karunus, eyelash, Floris van Doorn, František Silváši, Henrik Böving, Ian Young, Jeremy Salwen, Jireh Loreaux, Kevin Buzzard, Lars Ericson, Liu Yuxi, Mac Malone, Malcolm Langfield, Mario Carneiro, Newell Jensen, Patrick Massot, Paul Chisholm, Pietro Monticone, Tomas Puverle, Yaël Dillies, Zhiyuan Bao, Zyad Hassan에게 문체와 기술 양면에 걸친 많은 제안을 해 준 데 감사한다.