Code

feat: partial_fixpoint#253

Code

Merged

david-christiansen merged 37 commits intoleanprover:mainleanprover/reference-manual:mainfrom nomeata:joachim/partial-fixpointnomeata/reference-manual:joachim/partial-fixpointCopy head branch name to clipboardFeb 3, 2025

+644-5

Commits

Commits on Jan 16, 2025

• Switch to partial fixpoint pr-release

  nomeata

  committed
  cd4014e

  Copy full SHA for cd4014e

• Reapply "Local setup"

  Show description for 212d52d
  nomeata

  committed
  212d52d

  Copy full SHA for 212d52d

• A bit more

  nomeata

  committed
  168a53b

  Copy full SHA for 168a53b

• 5

  nomeata

  committed
  3fd2703

  Copy full SHA for 3fd2703

• fixes

  nomeata

  committed
  59287ee

  Copy full SHA for 59287ee

• Shorter lines

  nomeata

  committed
  3c61ae9

  Copy full SHA for 3c61ae9

• Copy editing

  nomeata

  committed
  cce70f5

  Copy full SHA for cce70f5

• Typos

  nomeata

  committed
  3c3d32e

  Copy full SHA for 3c3d32e

• More typos

  nomeata

  committed
  fe2a45b

  Copy full SHA for fe2a45b

• Even more typos

  nomeata

  committed
  1b87068

  Copy full SHA for 1b87068

Commits on Jan 17, 2025

• More on theory

  nomeata

  committed
  ccdb638

  Copy full SHA for ccdb638

• Render as plain text

  nomeata

  committed
  898660a

  Copy full SHA for 898660a

• Less imports

  nomeata

  committed
  e18cb0c

  Copy full SHA for e18cb0c

• Try to use a table (need help with the error)

  nomeata

  committed
  56b0219

  Copy full SHA for 56b0219

• Revert "Try to use a table (need help with the error)"

  Show description for 0075820
  nomeata

  committed
  0075820

  Copy full SHA for 0075820

Commits on Jan 20, 2025

• Reapply "Try to use a table (need help with the error)"

  Show description for ea47ac5
  nomeata

  committed
  ea47ac5

  Copy full SHA for ea47ac5

• Get table to work

  nomeata

  committed
  f7f8c42

  Copy full SHA for f7f8c42

• More on the table

  nomeata

  committed
  e16ca45

  Copy full SHA for e16ca45

• Merge branch 'main' of github.com:leanprover/reference-manual into joachim/partial-fixpoint

  nomeata

  committed
  2d55e63

  Copy full SHA for 2d55e63

• Use {name} not {inst}

  nomeata

  committed
  7c36218

  Copy full SHA for 7c36218

• cargo-cult local syntax tricks

  nomeata

  committed
  3709142

  Copy full SHA for 3709142

• Copy editing

  nomeata

  committed
  37020b8

  Copy full SHA for 37020b8

• A (not very interesting) mutual recursion section

  nomeata

  committed
  7c0d7ad

  Copy full SHA for 7c0d7ad

• Typo

  nomeata

  committed
  95a0625

  Copy full SHA for 95a0625

• Avoid duplicate anchor

  nomeata

  committed
  39f81f1

  Copy full SHA for 39f81f1

• Use ppExpr

  nomeata

  committed
  8478f38

  Copy full SHA for 8478f38

Commits on Jan 22, 2025

• Bump to nightly

  nomeata

  committed
  5b8409a

  Copy full SHA for 5b8409a

• Make build work with nightly

  nomeata

  committed
  13f0ba9

  Copy full SHA for 13f0ba9

Commits on Jan 24, 2025

• Proofreading and minor style

  david-christiansen

  committed
  5bb05ce

  Copy full SHA for 5bb05ce

• render monotonicity lemmas with highlighting

  david-christiansen

  committed
  e35470c

  Copy full SHA for e35470c

• remove obsolete TODO

  david-christiansen

  committed
  497bd7f

  Copy full SHA for 497bd7f

Commits on Jan 30, 2025

• Merge remote-tracking branch 'upstream/main' into joachim/partial-fixpoint

  david-christiansen

  committed
  29c7ccd

  Copy full SHA for 29c7ccd

Commits on Jan 31, 2025

• Merge remote-tracking branch 'upstream/main' into joachim/partial-fixpoint

  david-christiansen

  committed
  10ec009

  Copy full SHA for 10ec009

• Fix typo and repeated word

  david-christiansen

  committed
  184fe73

  Copy full SHA for 184fe73

• Merge remote-tracking branch 'upstream/main' into joachim/partial-fixpoint

  david-christiansen

  committed
  eb07a0f

  Copy full SHA for eb07a0f

Commits on Feb 3, 2025

• Clarify status of partial fixpoint terminology

  david-christiansen

  committed
  51ff541

  Copy full SHA for 51ff541

• Address table-related TODOs

  david-christiansen

  committed
  8b46c56

  Copy full SHA for 8b46c56