Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 3, 2024

• update lean to v4.15.0-rc1

  dwrensha

  committed
  da5b17e

  Copy full SHA for da5b17e

Commits on Oct 8, 2024

• update lean to v4.12.0

  dwrensha

  committed
  c0fe06c

  Copy full SHA for c0fe06c

Commits on Sep 2, 2024

• update to lean-v4.11.0

  dwrensha

  committed
  078eced

  Copy full SHA for 078eced

Commits on Jul 31, 2024

• update lean to v4.10.0

  dwrensha

  committed
  b07c164

  Copy full SHA for b07c164

Commits on Jul 7, 2024

• update lean version

  dwrensha

  committed
  94c3f6c

  Copy full SHA for 94c3f6c

Commits on Jun 13, 2024

• remove unneeded parens

  dwrensha

  committed
  7949725

  Copy full SHA for 7949725

Commits on Jun 10, 2024

• Escapable as inductive Prop

  dwrensha

  committed
  569d805

  Copy full SHA for 569d805

Commits on Jun 9, 2024

• remove some unneeded parens

  dwrensha

  committed
  72d1480

  Copy full SHA for 72d1480

Commits on Jun 7, 2024

• update to lean v4.8.0

  dwrensha

  committed
  419ca29

  Copy full SHA for 419ca29

Commits on May 4, 2024

• update lean to v4.8.0-rc1

  dwrensha

  committed
  b40ecfc

  Copy full SHA for b40ecfc

Commits on May 2, 2024

• update lean version to 4.7.0

  dwrensha

  committed
  f4560a6

  Copy full SHA for f4560a6

Commits on Mar 2, 2024

• bump lean to v4.6.0

  dwrensha

  committed
  1182d62

  Copy full SHA for 1182d62

Commits on Feb 10, 2024

• update lean version

  dwrensha

  committed
  87dfad0

  Copy full SHA for 87dfad0

Commits on Dec 29, 2023

• gitignore .lake, and check in lake-manifest.json

  dwrensha

  committed
  9b1c34a

  Copy full SHA for 9b1c34a

• update lean version

  dwrensha

  committed
  3106f89

  Copy full SHA for 3106f89

• update comment: simp -> decide

  dwrensha

  committed
  be3d0b8

  Copy full SHA for be3d0b8

Commits on Nov 30, 2023

• lean v4.3.0

  dwrensha

  committed
  b5b9bb9

  Copy full SHA for b5b9bb9

Commits on Nov 17, 2023

• update for new lean

  dwrensha

  committed
  e2bae63

  Copy full SHA for e2bae63

Commits on Oct 31, 2023

• sections

  dwrensha

  committed
  55e39a5

  Copy full SHA for 55e39a5

• typo

  dwrensha

  committed
  0e00926

  Copy full SHA for 0e00926

• add link to playground

  dwrensha

  committed
  fa31772

  Copy full SHA for fa31772

• update lean version

  dwrensha

  committed
  479adfd

  Copy full SHA for 479adfd

Commits on Oct 25, 2023

• focus on subgoals and assert doneness

  Show description for bdd4cd1
  dwrensha

  committed
  bdd4cd1

  Copy full SHA for bdd4cd1

• remove extra space

  dwrensha

  committed
  c47b902

  Copy full SHA for c47b902

• remove unneeded ToString instance

  dwrensha

  committed
  085605c

  Copy full SHA for 085605c

Commits on Oct 24, 2023

• admit -> sorry

  dwrensha

  committed
  dcb779f

  Copy full SHA for dcb779f

• update lean

  dwrensha

  committed
  388ec36

  Copy full SHA for 388ec36

Commits on Oct 16, 2023

• add lakefile.olean to .gitignore

  dwrensha

  committed
  119d7a2

  Copy full SHA for 119d7a2

Commits on Oct 5, 2023

• update lean

  dwrensha

  committed
  c14991a

  Copy full SHA for c14991a

• fix typo in README

  dwrensha

  committed
  561e035

  Copy full SHA for 561e035

Commits on Apr 30, 2023

• update lean

  dwrensha

  committed
  39a6fca

  Copy full SHA for 39a6fca

Commits on Jan 9, 2023

• bump lean version

  dwrensha

  committed
  b7b3652

  Copy full SHA for b7b3652

Commits on Dec 22, 2022

• update lean version

  dwrensha

  committed
  7af4076

  Copy full SHA for 7af4076

Commits on Nov 25, 2022

• update lean version

  dwrensha

  committed
  075efda

  Copy full SHA for 075efda

Commits on Nov 10, 2022

• update lean

  dwrensha

  committed
  c204a0d

  Copy full SHA for c204a0d

Pagination

Previous

Next