Skip to content

History / Lean 4 survival guide for Lean 3 users

Revisions

  • link not a bullet

    @madvorak madvorak committed Jan 29, 2024
    614dc7d

  • Added a point about defining terms of structures defined with Expand

    @faenuccio faenuccio committed Nov 2, 2023
    65c2f7e

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @madvorak madvorak committed Oct 5, 2023
    2f711ec

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @madvorak madvorak committed Oct 5, 2023
    ccddded

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed Jun 28, 2023
    ff42a4f

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @TwoFX TwoFX committed Jun 3, 2023
    8507062

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @PatrickMassot PatrickMassot committed May 29, 2023
    c94180b

  • Added comma between `parent`s of structures.

    @adomani adomani committed May 27, 2023
    87e9975

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 26, 2023
    c3ae4bb

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 26, 2023
    657fd85

  • about cache

    @samvang samvang committed May 26, 2023
    4ec8d90

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @mcdoll mcdoll committed May 26, 2023
    4705d4f

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 26, 2023
    a800979

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 26, 2023
    acb6894

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @mcdoll mcdoll committed May 25, 2023
    a6b054b

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    f4b3071

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    4dce4a5

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    af8d085

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    0be8253

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    9cd6197

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    34afc45

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    e545bcc

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    e532deb

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    fc4db2b

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    6cba5e5

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    ac35754

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    9cf76be

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    b537128

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    d5dca5e

  • Updated Lean 4 survival guide for Lean 3 users (markdown)

    @fpvandoorn fpvandoorn committed May 25, 2023
    c30ecdf