Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 23, 2024

• bump mathlib and experimentation with limits

  emilyriehl

  committed
  42a2d9c

Commits on Sep 13, 2024

• bump dependencies

  pitmonticone

  committed
  e895ec0

Commits on Sep 9, 2024

• Bump mathlib

  pitmonticone

  committed
  e9ca1ca

• Bump mathlib

  pitmonticone

  committed
  e9d2138

Commits on Sep 6, 2024

• Bump Mathlib and dsimp

  pitmonticone

  committed
  624837e

Commits on Sep 4, 2024

• Bump dependencies

  pitmonticone

  committed
  cf62434

Commits on Sep 3, 2024

• Bump dependencies & upgrade deprecated lemmas

  pitmonticone

  committed
  5d863d6

Commits on Sep 2, 2024

• deleted mathlib copies to fix a compilation error and to prepare for the move

  emilyriehl

  committed
  7cc0108

Commits on Aug 20, 2024

• Bump doc-gen4 correctly to avoid CI fail

  pitmonticone

  committed
  03b4a60

• Bump dependencies and fix build

  pitmonticone

  committed
  cd94960

Commits on Aug 1, 2024

• try again

  emilyriehl

  committed
  8e0667f

• starting over

  emilyriehl

  committed
  6990e80

• renaming

  emilyriehl

  committed
  06cf281

• Setup blueprint

  emilyriehl

  committed
  2e0b223

Loading