Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 4, 2024

• Merge pull request sinhp#13 from Vtec234/bump/v4.14.0-rc1

  Show description for c297c86
  sinhp

  authored
  c297c86

  Copy full SHA for c297c86

• Merge pull request sinhp#12 from Vtec234/bump/v4.13.0

  Show description for acf6f99
  sinhp

  authored
  acf6f99

  Copy full SHA for acf6f99

• Merge pull request sinhp#7 from pitmonticone/vscode-settings

  Show description for 04bd8b0
  sinhp

  authored
  04bd8b0

  Copy full SHA for 04bd8b0

• Merge pull request sinhp#11 from Vtec234/naturality-right

  Show description for 1b40ac7
  sinhp

  authored
  1b40ac7

  Copy full SHA for 1b40ac7

Commits on Nov 5, 2024

• chore: minimize imports & deprecate Slice, LawvereTheory

  Vtec234

  committed
  58cb94c

  Copy full SHA for 58cb94c

• chore: bump Lean to v4.14.0-rc1

  Vtec234

  committed
  56416d9

  Copy full SHA for 56416d9

Commits on Nov 1, 2024

• feat: bump mathlib and golf some proofs

  Vtec234

  committed
  60679f2

  Copy full SHA for 60679f2

Commits on Oct 31, 2024

• Merge remote-tracking branch 'mine/univs'

  Vtec234

  committed
  019a929

  Copy full SHA for 019a929

Commits on Oct 24, 2024

• feat: right naturality law

  Vtec234

  committed
  b0e1b7a

  Copy full SHA for b0e1b7a

• chore: make more params implicit

  Vtec234

  committed
  2d3cbe8

  Copy full SHA for 2d3cbe8

• chore: cleanup

  Vtec234

  committed
  af37f17

  Copy full SHA for af37f17

Commits on Oct 23, 2024

• feat: add generic pullback

  Vtec234

  committed
  a891784

  Copy full SHA for a891784

Commits on Oct 5, 2024

• feat: explicit universe constraints

  Vtec234

  committed
  8cb9a65

  Copy full SHA for 8cb9a65

Commits on Aug 3, 2024

• Merge pull request sinhp#9 from pitmonticone/golf

  Show description for c6155c4
  sinhp

  authored
  c6155c4

  Copy full SHA for c6155c4

• Merge pull request sinhp#8 from pitmonticone/fix-typos

  Show description for 3553d16
  sinhp

  authored
  3553d16

  Copy full SHA for 3553d16

Commits on Jul 25, 2024

• Update Univariate.lean

  pitmonticone

  committed
  676d369

  Copy full SHA for 676d369

• Update Polynomial.lean

  pitmonticone

  committed
  ac36532

  Copy full SHA for ac36532

• Update Presheaf.lean

  pitmonticone

  committed
  db51693

  Copy full SHA for db51693

• Update BeckChevalley.lean

  pitmonticone

  committed
  dd82e94

  Copy full SHA for dd82e94

• Update Basic.lean

  pitmonticone

  committed
  8399e25

  Copy full SHA for 8399e25

• Update Exponentiable.lean

  pitmonticone

  committed
  a0d6a92

  Copy full SHA for a0d6a92

• Update Basic.lean

  pitmonticone

  committed
  7879920

  Copy full SHA for 7879920

• Update Univariate.lean

  pitmonticone

  committed
  8d47a47

  Copy full SHA for 8d47a47

• Update Polynomial.lean

  pitmonticone

  committed
  6eb3ddb

  Copy full SHA for 6eb3ddb

• Update Exponentiable.lean

  pitmonticone

  committed
  217aa65

  Copy full SHA for 217aa65

• Update Basic.lean

  pitmonticone

  committed
  7345bec

  Copy full SHA for 7345bec

• Create settings.json

  pitmonticone

  committed
  1cdd7b8

  Copy full SHA for 1cdd7b8

Commits on Jul 19, 2024

• refactoring presheaves LCCC

  sinhp

  committed
  430f2a7

  Copy full SHA for 430f2a7

Commits on Jul 11, 2024

• tempmates removed

  sinhp

  committed
  61c46a4

  Copy full SHA for 61c46a4

Commits on Jul 10, 2024

• Update README.md

  sinhp

  authored
  f06546b

  Copy full SHA for f06546b

Commits on Jul 9, 2024

• SMul instance

  sinhp

  committed
  6e409b3

  Copy full SHA for 6e409b3

• scalar multiplication

  sinhp

  committed
  78f22f8

  Copy full SHA for 78f22f8

• product of polynomials

  sinhp

  committed
  6a5dcdb

  Copy full SHA for 6a5dcdb

• monomial polynomial in many vars

  sinhp

  committed
  0bb1ab1

  Copy full SHA for 0bb1ab1

• exp of sum

  sinhp

  committed
  3481961

  Copy full SHA for 3481961

Pagination

Previous

Next