Skip to content

History / Using mathlib4 as a dependency

Revisions

  • Updated Using mathlib4 as a dependency (markdown)

    @ldct ldct committed May 17, 2025
    f007f42

  • Updated Using mathlib4 as a dependency (markdown)

    @kim-em kim-em committed Dec 3, 2024
    90d792e

  • We've got way more than 2k files in Mathlib nowadays.

    @vihdzp vihdzp committed Sep 8, 2024
    49d8a50

  • Updated Using mathlib4 as a dependency (markdown)

    @Ruben-VandeVelde Ruben-VandeVelde committed Aug 21, 2024
    17cc8bd

  • Updated Using mathlib4 as a dependency (markdown)

    @fpvandoorn fpvandoorn committed Apr 25, 2024
    c4265ac

  • remove `lake exe cache get`

    @mo271 mo271 committed Jan 4, 2024
    198feb9

  • Updated Using mathlib4 as a dependency (markdown)

    @Ruben-VandeVelde Ruben-VandeVelde committed Nov 6, 2023
    4b590e4

  • make the curl command compatible with windows (only tested that it still works on linux)

    @mo271 mo271 committed Oct 14, 2023
    75b4dc5

  • Updated Using mathlib4 as a dependency (markdown)

    @Kha Kha committed Aug 18, 2023
    759df71

  • Updated Using mathlib4 as a dependency (markdown)

    @kim-em kim-em committed Aug 10, 2023
    c6ac624

  • Clarify instructions.

    @kim-em kim-em committed Jun 26, 2023
    712f7e9

  • Moving content out of the README

    @kim-em kim-em committed Jun 26, 2023
    3c32389