Lean in LeanLean 1 (2013) Leo and Soonho Kong • Almost useless • Brave (crazy?) users in 2014: Jeremy Avigad, Cody Roux and Floris van Doorn • Lean 2 (2015) Leo and Soonho Kong • First official release •0 码力 | 54 页 | 4.78 MB | 1 年前3- Lean 2 Quick ReferenceLean 2 Quick Reference Jeremy Avigad, Leonardo de Moura, Soonho Kong Version d0dd6d0, updated at 2017-01-30 19:53:44 -0500 Quick Reference Note that this quick reference guide describes Lean 2 only0 码力 | 9 页 | 62.97 KB | 1 年前3
- Theorem Proving in Lean
Release 3.23.0Theorem Proving in Lean Release 3.23.0 Jeremy Avigad, Leonardo de Moura, and Soonho Kong Apr 25, 2023 CONTENTS 1 Introduction 1 1.1 Computers and Theorem Proving . . . . . . . . . . . . . . . .0 码力 | 173 页 | 777.93 KB | 1 年前3
- The Hitchhiker’s Guide to
Logical Verifications.html# find 2https://leanprover.zulipchat.com/ Bibliography [1] J. Avigad, L. de Moura, and S. Kong. Theorem Proving in Lean: Release 3.20.0. 2020. https://leanprover.github.io/theorem_proving_in_lean/0 码力 | 215 页 | 1.95 MB | 1 年前3
共 4 条
- 1