Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

History

Revisions

  • Updated mathlib4 port status (markdown)

    @eric-wieser eric-wieser committed Mar 23, 2024
    c5a5316

  • Updated mathlib4 port status (markdown)

    @eric-wieser eric-wieser committed Mar 1, 2024
    c6c8b8a

  • Remove repeated entries for Taylor series

    @hmonroe hmonroe committed Dec 1, 2023
    4aaa290

  • Remove antiderivatives under single variable real analysis

    @hmonroe hmonroe committed Dec 1, 2023
    2322f39

  • Remove completed items

    @hmonroe hmonroe committed Nov 30, 2023
    b53ff18

  • Updated Undergrad TODO trivial targets (markdown)

    @hmonroe hmonroe committed Nov 30, 2023
    6954db7

  • Updated Undergrad TODO trivial targets (markdown)

    @hmonroe hmonroe committed Nov 30, 2023
    4579ab7

  • Updated mathlib4 port status (markdown)

    @chrisflav chrisflav committed Oct 28, 2023
    26a0cff

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 28, 2023
    d2e8700

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 28, 2023
    b4b7f15

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 26, 2023
    b43f21e

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 26, 2023
    4a6a442

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 26, 2023
    d1ece48

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 26, 2023
    10343eb

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 24, 2023
    cb620c5

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 24, 2023
    0666145

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 23, 2023
    420e696

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 22, 2023
    ef29d3b

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 21, 2023
    0f08006

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 21, 2023
    fc1fe4c

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 21, 2023
    fef4559

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 21, 2023
    7fe9f1e

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 19, 2023
    8676cbe

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 19, 2023
    8ec4632

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 15, 2023
    ed4bb3e

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 15, 2023
    a85ec57

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 14, 2023
    86da046

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 13, 2023
    e4e1ac4

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 13, 2023
    f800822

  • Updated mathlib4 port status (markdown)

    @jcommelin jcommelin committed Sep 13, 2023
    f4e1166