Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 31, 2024

• Bump Lean version to 4.14.0

  PatrickMassot

  committed
  a103289

Commits on Jul 19, 2024

• Bump Lean version

  PatrickMassot

  committed
  2ca20b1

Commits on Jun 25, 2024

• Bump Lean version to 4.9.0-rc3

  PatrickMassot

  committed
  70bc809

• Bump Lean version to 4.8.0-rc1

  PatrickMassot

  committed
  f71c47a

Commits on Mar 12, 2024

• Bump lean version

  PatrickMassot

  committed
  af4a32e

Commits on Jan 7, 2024

• Bump Lean version

  PatrickMassot

  committed
  a81eeb9

Commits on Nov 14, 2023

• Update Lean+Mathlib

  PatrickMassot

  committed
  be40ffe

Commits on Jul 21, 2022

• Update lean

  PatrickMassot

  committed
  a0a4acd

• Create project

  PatrickMassot

  committed
  d7a7581

Loading