Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 18, 2023

• chore: upstream LabelAttr (leanprover-community#258)

  kim-em

  authored
  6785540

  Copy full SHA for 6785540

• rename: Bucket -> Buckets (leanprover-community#265)

  Vtec234

  authored
  3c9a18b

  Copy full SHA for 3c9a18b

• feat: lemmas about Rat.instIntCast (leanprover-community#261)

  Show description for 524aae5
  

  3 peopleauthored
  524aae5

  Copy full SHA for 524aae5

Commits on Sep 17, 2023

• chore: de-mathlib Data/List/Pairwise.lean (leanprover-community#100)

  Show description for 32c1912
  

  JamesGallicchio

  and

  digama0

  authored
  32c1912

  Copy full SHA for 32c1912

• fix: add lakefile.olean to .gitignore

  digama0

  committed
  7ed3892

  Copy full SHA for 7ed3892

• fix: allow guard_hyp h with no type and expr

  digama0

  committed
  cab81d7

  Copy full SHA for cab81d7

Commits on Sep 15, 2023

• chore: bump to v4.1.0-rc1 (leanprover-community#263)

  kim-em

  authored
  80089ff

  Copy full SHA for 80089ff

Commits on Sep 14, 2023

• fix: rename Nat.coprime to Nat.Coprime (leanprover-community#187)

  Show description for 5e14f63
  

  eric-wieser

  and

  fgdorais

  authored
  5e14f63

  Copy full SHA for 5e14f63

Commits on Sep 13, 2023

• feat: case _ : t => tac tactic to search for goals by type (leanprover-community#160)

  Show description for efcb1a6
  kmill

  authored
  efcb1a6

  Copy full SHA for efcb1a6

Commits on Sep 12, 2023

• chore: upstream from Mathlib.Data.Sum.Basic (leanprover-community#251)

  Show description for ba5e5e3
  

  kim-em

  and

  digama0

  authored
  ba5e5e3

  Copy full SHA for ba5e5e3

• chore: CI linter for long lines (leanprover-community#256)

  Show description for 9cc8a95
  kim-em

  authored
  9cc8a95

  Copy full SHA for 9cc8a95

• chore: add grep-based linter for ↦ (leanprover-community#255)

  kim-em

  authored
  642cbc9

  Copy full SHA for 642cbc9

• chore: replace ↦ with => (leanprover-community#252)

  kim-em

  authored
  5d4039a

  Copy full SHA for 5d4039a

• chore: upstream List.partitionM (leanprover-community#253)

  kim-em

  authored
  2a10db9

  Copy full SHA for 2a10db9

Commits on Sep 8, 2023

• chore: bump to Lean v4.0.0 (leanprover-community#250)

  kim-em

  authored
  28459f7

  Copy full SHA for 28459f7

• chore: fix name in MLList (leanprover-community#249)

  kim-em

  authored
  cd9cd61

  Copy full SHA for cd9cd61

• fix: support code action for 'cases e with'

  digama0

  committed
  14e723a

  Copy full SHA for 14e723a

• fix: make 'try this' a preferred code action

  digama0

  committed
  75d9264

  Copy full SHA for 75d9264

Commits on Sep 5, 2023

• feat: upstream replace tactic from mathlib (leanprover-community#240)

  kim-em

  authored
  e8c27f7

  Copy full SHA for e8c27f7

Commits on Aug 30, 2023

• feat: make ext attribute erasable (leanprover-community#235)

  hrmacbeth

  authored
  101f1d0

  Copy full SHA for 101f1d0

• fix: Lean.(P)HashSet.ofList should take a list (leanprover-community#236)

  JLimperg

  authored
  4b6a876

  Copy full SHA for 4b6a876

• fix: panic in induction code action

  Show description for dd3a248
  digama0

  committed
  dd3a248

  Copy full SHA for dd3a248

Commits on Aug 28, 2023

• feat: code action for alias + deprecated (leanprover-community#231)

  Show description for 7194b6b
  digama0

  authored
  7194b6b

  Copy full SHA for 7194b6b

Commits on Aug 26, 2023

• feat: ignore rhs of dischargers when linting for unreachable (leanprover-community#230)

  alexjbest

  authored
  6ad7ca3

  Copy full SHA for 6ad7ca3

• feat: KMP matcher (leanprover-community#178)

  Show description for 8cab876
  

  4 peopleauthored
  8cab876

  Copy full SHA for 8cab876

Commits on Aug 25, 2023

• feat: add workflow to allow anyone to use basic labels (leanprover-community#232)

  kim-em

  authored
  e354a84

  Copy full SHA for e354a84

• feat: add sublist decidability (leanprover-community#229)

  AdrienChampion

  authored
  6d8c8fb

  Copy full SHA for 6d8c8fb

• feat: alias sets the deprecated target (leanprover-community#228)

  Show description for e8f2307
  digama0

  authored
  e8f2307

  Copy full SHA for e8f2307

Commits on Aug 23, 2023

• fix: merge conflict bot (leanprover-community#227)

  Show description for 54da53d
  fgdorais

  authored
  54da53d

  Copy full SHA for 54da53d

Commits on Aug 22, 2023

• chore: upstream MLList.whileAtLeastHeartbeatsPercent (leanprover-community#212)

  Show description for b5f7bd4
  kim-em

  authored
  b5f7bd4

  Copy full SHA for b5f7bd4

• feat: upstream compile_time_search_path% term elaborator (leanprover-community#222)

  Show description for 6a56e20
  

  kim-em

  and

  digama0

  authored
  6a56e20

  Copy full SHA for 6a56e20

• chore: de-mathlib Data/List/Count.lean (leanprover-community#99)

  Show description for d9c3146
  

  JamesGallicchio

  and

  digama0

  authored
  d9c3146

  Copy full SHA for d9c3146

• feat: new alias command (leanprover-community#200)

  Show description for f4066c7
  

  fgdorais

  and

  digama0

  authored
  f4066c7

  Copy full SHA for f4066c7

• fix: merge conflicts bot on forks (leanprover-community#225)

  Show description for 312388f
  fgdorais

  authored
  312388f

  Copy full SHA for 312388f

• chore: bump to nightly-2023-08-19 (leanprover-community#226)

  kim-em

  authored
  69312f1

  Copy full SHA for 69312f1

Pagination

Previous

Next