Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 6, 2024

• update Lean to version 4.14.0

  awalterschulze

  committed
  2068f3b

Commits on Aug 23, 2024

• update lean to 4.11rc2

  awalterschulze

  committed
  3789860

Commits on Feb 25, 2024

• Update Lean version

  awalterschulze

  committed
  612d709

Commits on Jan 28, 2024

• Add groundzero dependency and update lean-toolchain

  awalterschulze

  committed
  a5256b1

Commits on Nov 24, 2023

• Add theorems to prove for the Calculus file

  awalterschulze

  committed
  8e8622f

Commits on Oct 29, 2023

• upgrade to leanv4.2.0-rc4

  awalterschulze

  committed
  154ce7a

Commits on Jul 24, 2023

• Update lean-toolchain and dependencies

  

  paulcadman

  authored and

  awalterschulze

  committed
  976f356

Commits on Mar 9, 2023

• upgrade to lean4:nightly-2023-03-09

  awalterschulze

  committed
  b8d9c2b

Commits on Oct 30, 2022

• First Twitch Stream

  Show description for 24e72eb
  awalterschulze

  committed
  24e72eb

Loading