Commits

Branch selector

 57535aa

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 8, 2024

• fix: don't collect sorries at locations with no goals

  kim-em

  committed
  57535aa

  Copy full SHA for 57535aa

Commits on Feb 6, 2024

• better NameGenerator workaround

  kim-em

  committed
  93cbe65

  Copy full SHA for 93cbe65

• fix: NameGenerator bug (leanprover-community#32)

  kim-em

  authored
  4e70edc

  Copy full SHA for 4e70edc

Commits on Feb 2, 2024

• some monad simplifications

  kim-em

  committed
  c210906

  Copy full SHA for c210906

• chore: bump for lean4#3159 (leanprover-community#29)

  Show description for 6413ae1
  

  mhuisi

  and

  kim-em

  authored
  6413ae1

  Copy full SHA for 6413ae1

• capture trace messages in tactic commands

  kim-em

  committed
  2a102d0

  Copy full SHA for 2a102d0

Commits on Feb 1, 2024

• chore: move to v4.5.0

  kim-em

  committed
  8c2358b

  Copy full SHA for 8c2358b

• test using on_goal

  kim-em

  committed
  fe95bc8

  Copy full SHA for fe95bc8

Commits on Jan 31, 2024

• feat: JSON representation of InfoTree in output (leanprover-community#31)

  kim-em

  authored
  a98ebe0

  Copy full SHA for a98ebe0

Commits on Jan 24, 2024

• feat: unpickle proof states using an existing environment

  kim-em

  committed
  62412c4

  Copy full SHA for 62412c4

Commits on Jan 20, 2024

• fix: enableInitializersExecution in unpickle ProofSnapshot

  kim-em

  committed
  8af54e4

  Copy full SHA for 8af54e4

Commits on Jan 19, 2024

• feat: print hypotheses of term mode sorries

  kim-em

  committed
  dc4a048

  Copy full SHA for dc4a048

• feat: substitute assignments in infotrees

  kim-em

  committed
  ca11e30

  Copy full SHA for ca11e30

Commits on Jan 17, 2024

• test of all_goals sorry

  kim-em

  committed
  6d83eef

  Copy full SHA for 6d83eef

• add some test cases

  kim-em

  committed
  7f3620b

  Copy full SHA for 7f3620b

Commits on Jan 13, 2024

• feat: report sorries in tactic mode (leanprover-community#30)

  Show description for aab8a95
  kim-em

  authored
  aab8a95

  Copy full SHA for aab8a95

Commits on Jan 12, 2024

• bump Mathlib; and copy lean-toolchain before testing

  kim-em

  committed
  7df9e30

  Copy full SHA for 7df9e30

Commits on Dec 22, 2023

• chore: bump to v4.5.0-rc1 (leanprover-community#27)

  Show description for ac9ff73
  kim-em

  authored
  ac9ff73

  Copy full SHA for ac9ff73

• chore: bump to v4.4.0 (leanprover-community#26)

  Show description for 29ff369
  kim-em

  authored
  29ff369

  Copy full SHA for 29ff369

Commits on Dec 17, 2023

• cleanup

  kim-em

  committed
  9c594e3

  Copy full SHA for 9c594e3

Commits on Dec 16, 2023

• feat: activate scopes when unpickling (leanprover-community#24)

  Show description for cabbe08
  kim-em

  authored
  cabbe08

  Copy full SHA for cabbe08

• Add README section

  kim-em

  committed
  6d1b1fb

  Copy full SHA for 6d1b1fb

Commits on Dec 15, 2023

• cleanup

  kim-em

  committed
  0ed7cfc

  Copy full SHA for 0ed7cfc

• more tests

  kim-em

  committed
  a71ead0

  Copy full SHA for a71ead0

• tests

  kim-em

  committed
  e29fd77

  Copy full SHA for e29fd77

Commits on Dec 6, 2023

• chore: build all of Mathlib in Mathlib tests in case cache is not present (leanprover-community#23)

  kim-em

  authored
  747dc5a

  Copy full SHA for 747dc5a

• chore: bump toolchain to v4.4.0-rc1 (leanprover-community#22)

  kim-em

  authored
  1836e95

  Copy full SHA for 1836e95

Commits on Dec 2, 2023

• chore: bump toolchain to v4.3.0 (leanprover-community#21)

  kim-em

  authored
  0784054

  Copy full SHA for 0784054

Commits on Nov 28, 2023

• correct whitespace when pretty printing goals

  kim-em

  committed
  38365a7

  Copy full SHA for 38365a7

Commits on Nov 22, 2023

• update for v4.3.0-rc2

  kim-em

  committed
  5b7e0d4

  Copy full SHA for 5b7e0d4

Commits on Nov 14, 2023

• add more tests (leanprover-community#18)

  kim-em

  authored
  53aa3e5

  Copy full SHA for 53aa3e5

• ensuring failing tests actually fail CI (leanprover-community#17)

  Show description for 0ddd89e
  kim-em

  authored
  0ddd89e

  Copy full SHA for 0ddd89e

Commits on Nov 10, 2023

• add Real.exp test

  kim-em

  committed
  6ddd89a

  Copy full SHA for 6ddd89a

Commits on Nov 1, 2023

• chore: more robust empty line handling

  kim-em

  committed
  4a1196a

  Copy full SHA for 4a1196a

Commits on Oct 25, 2023

• more robust error handling

  kim-em

  committed
  474db93

  Copy full SHA for 474db93

Pagination

Previous

Next