Commits

Branch selector

 master

User selector

gebner

All time

Commit History

Commits on Jul 19, 2023

• chore: bump quote4 (leanprover-community#5975)

  gebner

  committedJul 19, 2023
  d3b4f0c

Commits on Jul 18, 2023

• feat: CompletelyDistribLattice (leanprover-community#5238)

  gebner

  committedJul 18, 2023
  6dfe3d4

Commits on Jul 17, 2023

• chore: bump quote4 (leanprover-community#5955)

  gebner

  committedJul 17, 2023
  fa05951

Commits on Jun 29, 2023

• feat: pretty-print Ordinal.{u} (leanprover-community#5564)

  gebner

  committedJun 29, 2023
  08133ab

Commits on Jun 27, 2023

• feat: generalize WithBot.wellFounded_lt (leanprover-community#5425)

  gebner

  committedJun 27, 2023
  3c3631e

Commits on Jun 24, 2023

• chore: remove legacy termination_by' (leanprover-community#5426)

  gebner

  committedJun 24, 2023
  ceb42c5

Commits on Jun 14, 2023

• feat: every complete linear order is a complete distributive lattice (leanprover-community#5031)

  gebner

  committedJun 14, 2023
  4167cba

Commits on May 28, 2023

• feat: add compile_inductive% and compile_def% commands (leanprover-community#4097)

  

  3 peoplecommittedMay 28, 2023
  63c31cc

Commits on May 22, 2023

• fix: remove duplicate syntax definitions (leanprover-community#4125)

  

  gebner

  and

  digama0

  committedMay 22, 2023
  6a3f848

Commits on May 17, 2023

• feat: more simp lemmas about streams (leanprover-community#3929)

  gebner

  committedMay 17, 2023
  48c72e8

Commits on May 16, 2023

• chore: reenable eta, bump to nightly 2023-05-16 (leanprover-community#3414)

  

  4 peoplecommittedMay 16, 2023
  a6e1045

Commits on Apr 24, 2023

• fix: enable ↦ in server mode (leanprover-community#3556)

  gebner

  committedApr 24, 2023
  26fdd3e

Commits on Apr 22, 2023

• fix: computable KleeneAlgebra (Language α) instance (leanprover-community#3585)

  gebner

  committedApr 22, 2023
  754c3ef

Commits on Apr 21, 2023

• chore: bump to nightly-2023-04-20 (leanprover-community#3557)

  gebner

  committedApr 21, 2023
  408fbe2

• feat: make ListM safe (leanprover-community#3559)

  gebner

  committedApr 21, 2023
  c7d9149

Commits on Apr 19, 2023

• chore: bump std4 (leanprover-community#3529)

  gebner

  committedApr 19, 2023
  e74cf6d

• fix: disable unsafe closed term extraction (leanprover-community#3509)

  gebner

  committedApr 19, 2023
  c0a6fe8

Commits on Apr 14, 2023

• feat: support irreducible_def in to_additive (leanprover-community#3399)

  gebner

  committedApr 14, 2023
  27e0a79

Commits on Apr 13, 2023

• chore: bump to nightly-2023-04-11 (leanprover-community#3139)

  gebner

  committedApr 13, 2023
  1cd8b31

Commits on Apr 12, 2023

• feat: irreducible_def: support protected, equation lemmas (leanprover-community#3395)

  

  gebner

  authored and

  leanprover-community-bot

  committedApr 12, 2023
  35a20e1

Commits on Mar 25, 2023

• fix: correctly mark outparams in HomotopyLike (leanprover-community#3089)

  gebner

  committedMar 25, 2023
  03015c8

Commits on Mar 23, 2023

• chore: bump to nightly-2023-03-17 (leanprover-community#2965)

  gebner

  committedMar 23, 2023
  92da912

Commits on Mar 11, 2023

• chore: bump to nightly-2023-03-09 (leanprover-community#2762)

  gebner

  committedMar 11, 2023
  2941a89

Commits on Mar 9, 2023

• chore: bump lean, std4, quote4, aesop (leanprover-community#2709)

  gebner

  committedMar 9, 2023
  ac9bdd4

Commits on Mar 7, 2023

• chore: update quote4 (leanprover-community#2685)

  gebner

  committedMar 7, 2023
  206db64

Commits on Mar 1, 2023

• chore: bump to nightly-2023-02-24 (leanprover-community#2540)

  gebner

  committedMar 1, 2023
  a043302

Commits on Feb 22, 2023

• doc: emphasize using same lean version as mathlib (leanprover-community#2428)

  gebner

  committedFeb 22, 2023
  70f235c

Commits on Feb 11, 2023

• chore: ci: abort on panic (leanprover-community#2113)

  gebner

  committedFeb 11, 2023
  e5fd6cd

Commits on Feb 8, 2023

• chore: bump std (leanprover-community#2156)

  gebner

  committedFeb 8, 2023
  413af80

Commits on Feb 6, 2023

• chore: use ext priority (leanprover-community#2020)

  gebner

  committedFeb 6, 2023
  f7c9272

Commits on Jan 25, 2023

• chore: remove #print and duplicated definitions (leanprover-community#1801)

  gebner

  committedJan 25, 2023
  28e84a4

Commits on Jan 20, 2023

• fix: make :: notation for Sym.cons' scoped (leanprover-community#1735)

  gebner

  committedJan 20, 2023
  b81684e

Commits on Jan 14, 2023

• fix: sorries in Tactic.NormNum.Core (leanprover-community#1564)

  gebner

  committedJan 14, 2023
  24122ee

Commits on Jan 12, 2023

• fix: unpack all files in lake cache get (leanprover-community#1510)

  gebner

  committedJan 12, 2023
  84db453

Commits on Jan 11, 2023

• chore: remove IntCast Rat instance (leanprover-community#1495)

  gebner

  committedJan 11, 2023
  dffe702

Pagination

PreviousNext