Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 8, 2025

• chore: bump to v4.15.0 (leanprover-community#65)

  kim-em

  authored
  2196679

  Copy full SHA for 2196679

• chore: bump to v4.15.0-rc1 (leanprover-community#61)

  Show description for 008cfbc
  

  3 peopleauthored
  008cfbc

  Copy full SHA for 008cfbc

Commits on Dec 2, 2024

• chore: bump toolchain to v4.14.0 (leanprover-community#60)

  Show description for d7545ee
  kim-em

  authored
  d7545ee

  Copy full SHA for d7545ee

Commits on Nov 4, 2024

• feat: fixes for v4.14.0-rc1 (leanprover-community#57)

  Show description for 29a9aae
  

  andrewmw94

  and

  kim-em

  authored
  29a9aae

  Copy full SHA for 29a9aae

Commits on Nov 1, 2024

• feat: Tactic steps now include used constants (leanprover-community#59)

  Show description for 65f1337
  adamtopaz

  authored
  65f1337

  Copy full SHA for 65f1337

Commits on Sep 2, 2024

• chore: bump toolchain to v4.11.0 (leanprover-community#55)

  kim-em

  authored
  adbbfcb

  Copy full SHA for adbbfcb

Commits on Aug 5, 2024

• chore: bump toolchain to v4.11.0-rc1 (leanprover-community#52)

  kim-em

  authored
  75e7985

  Copy full SHA for 75e7985

Commits on Jul 31, 2024

• chore: bump toolchain to v4.10.0 (leanprover-community#51)

  kim-em

  authored
  7201630

  Copy full SHA for 7201630

Commits on Jul 26, 2024

• avoid buffering stdout to ensure immediate replies (leanprover-community#49)

  Show description for 4fc1e6d
  m4lvin

  authored
  4fc1e6d

  Copy full SHA for 4fc1e6d

• ignore locale to ensure test bla runs before bla2 (leanprover-community#50)

  m4lvin

  authored
  ff1baf8

  Copy full SHA for ff1baf8

Commits on Jul 1, 2024

• chore: bump toolchain to v4.10.0-rc1 (leanprover-community#48)

  kim-em

  authored
  37f8517

  Copy full SHA for 37f8517

• chore: bump toolchain to v4.9.0 (leanprover-community#47)

  kim-em

  authored
  d920817

  Copy full SHA for d920817

• chore: switch to Lakefile.toml

  kim-em

  committed
  b9c49ea

  Copy full SHA for b9c49ea

• chore: switch to Lakefile.toml

  kim-em

  committed
  ca6660a

  Copy full SHA for ca6660a

Commits on Jun 7, 2024

• chore: move to v4.9.0-rc1 (leanprover-community#46)

  Show description for 7df77c0
  kim-em

  authored
  7df77c0

  Copy full SHA for 7df77c0

Commits on Jun 6, 2024

• chore: bump toolchain to v4.8.0 (leanprover-community#45)

  Show description for 439687b
  kim-em

  authored
  439687b

  Copy full SHA for 439687b

Commits on May 23, 2024

• fix: duplicated and misaligned messages and info trees in output (leanprover-community#41)

  Show description for 88a0643
  utensil

  authored
  88a0643

  Copy full SHA for 88a0643

Commits on May 6, 2024

• chore: bump to v4.8.0-rc1 (leanprover-community#39)

  kim-em

  authored
  6d5b2c3

  Copy full SHA for 6d5b2c3

• cleanup tests

  kim-em

  committed
  683fa0c

  Copy full SHA for 683fa0c

Commits on Apr 4, 2024

• chore: bump toolchain to v4.7.0

  david-christiansen

  committed
  68ddd10

  Copy full SHA for 68ddd10

Commits on Mar 14, 2024

• cleanup README

  kim-em

  committed
  2ab7948

  Copy full SHA for 2ab7948

• feat: basic full file mode (leanprover-community#37)

  kim-em

  authored
  7767705

  Copy full SHA for 7767705

Commits on Mar 7, 2024

• fix test

  kim-em

  committed
  44da727

  Copy full SHA for 44da727

• adding some tests

  kim-em

  committed
  525c344

  Copy full SHA for 525c344

Commits on Mar 6, 2024

• chore: move to v4.7.0-rc2

  kim-em

  committed
  97182f0

  Copy full SHA for 97182f0

Commits on Mar 5, 2024

• chore: move to v4.7.0-rc1 (leanprover-community#35)

  Show description for c2f1b87
  kim-em

  authored
  c2f1b87

  Copy full SHA for c2f1b87

Commits on Feb 29, 2024

• chore: bump toolchain to v4.6.0 (leanprover-community#34)

  Show description for c41bcf0
  kim-em

  authored
  c41bcf0

  Copy full SHA for c41bcf0

Commits on Feb 15, 2024

• feat: use environment from before the declaration, so exact? doesn't give circular proofs

  kim-em

  committed
  6651502

  Copy full SHA for 6651502

• synthesizeSyntheticMVarsNoPostponing

  kim-em

  committed
  fa73f05

  Copy full SHA for fa73f05

Commits on Feb 8, 2024

• chore: add another test

  kim-em

  committed
  e2dbabd

  Copy full SHA for e2dbabd

• chore: test for no goal sorry

  kim-em

  committed
  43e107e

  Copy full SHA for 43e107e

• 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

Pagination

Previous

Next