Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 1, 2024

• indicate how to type ⟨ and ⟩ (leanprover#80)

  

  dijkstracula

  and

  david-christiansen

  committedMar 1, 2024
  81b0283

• fix: tidy up #check output to match Infoview (leanprover#89)

  hmonroe

  committedMar 1, 2024
  985d15e

• fix: typo (leanprover#106)

  MatteoGaetzner

  committedMar 1, 2024
  b17956d

• fix: relative imports are no longer supported in Lean 4 (leanprover#90)

  tonyxty

  committedMar 1, 2024
  567ee29

• style: replace @f _ _ with f in example (leanprover#69)

  

  timotree3

  and

  david-christiansen

  committedMar 1, 2024
  9ebbfd3

• fix: examples e.g. u not u_1 in some places, to match VS Code (leanprover#88)

  

  hmonroe

  and

  david-christiansen

  committedMar 1, 2024
  2d20c14

• Update dependent_type_theory.md (leanprover#70)

  newptcai

  committedMar 1, 2024
  048b6bb

• Update axioms_and_computation.md (leanprover#67)

  oskgo

  committedMar 1, 2024
  5f77cc5

• fix typo in ch 7 (leanprover#61)

  nhjk

  committedMar 1, 2024
  b94e413

• typo: add -> app (leanprover#56)

  QDelta

  committedMar 1, 2024
  540d39b

• fix: remnants of Lean 3 syntax in induction_and_recursion (leanprover#55)

  marcusrossel

  committedMar 1, 2024
  c1dbd1f

• typo: remove duplicated word (leanprover#53)

  jameshfisher

  committedMar 1, 2024
  0be40ee

• typo: capitalized list (leanprover#66)

  Felix-Weilacher

  committedMar 1, 2024
  43079ad

• fix: link to Quickstart instead of Setup on title page (leanprover#103)

  avigad

  committedMar 1, 2024
  2baff6f

Commits on Feb 6, 2024

• fix: restore link to old URL for TPiL3 (leanprover#102)

  david-christiansen

  committedFeb 6, 2024
  8e6946a

• fix: update link domains to lean-lang.org (leanprover#101)

  david-christiansen

  committedFeb 6, 2024
  b33457d

Commits on Jan 25, 2024

• fix: update links to new domain (leanprover#98)

  david-christiansen

  committedJan 25, 2024
  912c74d

Commits on Jan 24, 2024

• fix: replace placeholder link with FPiL (leanprover#97)

  david-christiansen

  committedJan 24, 2024
  522774e

Commits on Jan 12, 2024

• chore: update to new termination_by syntax

  

  nomeata

  authored and

  Kha

  committedJan 12, 2024
  eb5e8c2

Commits on Jan 4, 2024

• chore: add Netlify deployment (leanprover#93)

  david-christiansen

  committedJan 4, 2024
  83ea06f

Commits on Sep 6, 2023

• Trigger deploy on master push

  Kha

  committedSep 6, 2023
  84e4163

Commits on Sep 5, 2023

• Fix links to sections

  

  int-y1

  authored and

  Kha

  committedSep 5, 2023
  d791f0a

Commits on Feb 25, 2023

• chore: fix calc syntax description

  

  AdrienChampion

  authored and

  Kha

  committedFeb 25, 2023
  9515278

• chore: update calc to use underscore-in-first-lhs notation

  

  AdrienChampion

  authored and

  Kha

  committedFeb 25, 2023
  898ca42

Commits on Nov 17, 2022

• Clean up chapters 10-12 (leanprover#41)

  int-y1

  committedNov 17, 2022
  ee6aeb4

• hide repeated definitions

  

  int-y1

  authored and

  leodemoura

  committedNov 17, 2022
  d53739f

• fix: typos in chapter 8

  

  int-y1

  authored and

  leodemoura

  committedNov 17, 2022
  50704da

• fix: typos in chapter 7

  

  int-y1

  authored and

  leodemoura

  committedNov 17, 2022
  f0a1966

• fix: typos in chapter 6

  

  int-y1

  authored and

  leodemoura

  committedNov 17, 2022
  8ea0ebd

• fix link to standard library

  

  mjgrzymek

  authored and

  leodemoura

  committedNov 17, 2022
  19fa33a

• Removes an unused variable in a Chapter 5 example.

  

  benjaminselfridge

  authored and

  leodemoura

  committedNov 17, 2022
  fb6ebbe

• fix typo in variable declaration in example

  

  Swiftb0y

  authored and

  leodemoura

  committedNov 17, 2022
  19f4757

• fix: protected Nat.add_zero

  

  digama0

  authored and

  leodemoura

  committedNov 17, 2022
  a92c32b

Commits on Nov 13, 2022

• chore: typo: defaulty → default (leanprover#51)

  agl

  committedNov 13, 2022
  7372236

Commits on Oct 20, 2022

• chore: snake-case attributes

  

  digama0

  authored and

  Kha

  committedOct 20, 2022
  20c678b

Pagination

PreviousNext