Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jan 8, 2024

• update

  

  Your Name

  committed
  87f9ea9

  Copy full SHA for 87f9ea9

• 123

  

  Your Name

  committed
  f348be5

  Copy full SHA for f348be5

• update

  

  Your Name

  committed
  e161d9e

  Copy full SHA for e161d9e

Commits on Dec 29, 2023

• add theorem

  

  Your Name

  committed
  1fa8332

  Copy full SHA for 1fa8332

• comment real

  

  Your Name

  committed
  7729fa7

  Copy full SHA for 7729fa7

• remove theorem

  

  Your Name

  committed
  89c0830

  Copy full SHA for 89c0830

• update

  

  Your Name

  committed
  9ed7ebe

  Copy full SHA for 9ed7ebe

Commits on Dec 28, 2023

• add two_have

  

  Your Name

  committed
  c4bc011

  Copy full SHA for c4bc011

• delete

  

  Your Name

  committed
  bdb14d5

  Copy full SHA for bdb14d5

• delete unrealted

  

  Your Name

  committed
  e531b72

  Copy full SHA for e531b72

• commet import

  

  Your Name

  committed
  77a6ef0

  Copy full SHA for 77a6ef0

Commits on Dec 26, 2023

• update

  

  Your Name

  committed
  d53e16d

  Copy full SHA for d53e16d

• add a theorem

  

  Your Name

  committed
  634b036

  Copy full SHA for 634b036

• add a theorem

  

  Your Name

  committed
  24aa37d

  Copy full SHA for 24aa37d

Commits on Dec 24, 2023

• update lean version

  

  your_name

  committed
  6d50df5

  Copy full SHA for 6d50df5

Commits on Dec 19, 2023

• update version to 4.4.0-rc1

  

  Your Name

  committed
  3af8db6

  Copy full SHA for 3af8db6

• update lean version

  

  Your Name

  committed
  4d8d37a

  Copy full SHA for 4d8d37a

• remove mathlib lib

  

  Your Name

  committed
  32c134f

  Copy full SHA for 32c134f

• test

  

  Your Name

  committed
  8e71e1d

  Copy full SHA for 8e71e1d

• remove namespace

  

  Your Name

  committed
  ce4917c

  Copy full SHA for ce4917c

• update lean version

  

  Your Name

  committed
  3ae8949

  Copy full SHA for 3ae8949

Commits on Dec 7, 2023

• init

  

  your_name

  committed
  2b3df9a

  Copy full SHA for 2b3df9a

• init

  

  your_name

  committed
  96c1da8

  Copy full SHA for 96c1da8

Commits on Nov 18, 2023

• bump to lean4:v4.3.0-rc2

  

  Kaiyu Yang

  committed
  fd14c4c

  Copy full SHA for fd14c4c

Commits on Nov 2, 2023

• update

  

  Kaiyu Yang

  committed
  a61b40b

  Copy full SHA for a61b40b

Commits on Oct 9, 2023

• remove aesop

  

  Kaiyu Yang

  committed
  ee96136

  Copy full SHA for ee96136

Commits on Aug 27, 2023

• add another theorem

  

  Kaiyu Yang

  committed
  1ac33f0

  Copy full SHA for 1ac33f0

• add aesop dependency

  

  Kaiyu Yang

  committed
  7a65878

  Copy full SHA for 7a65878

Commits on Jul 3, 2023

• Update lakefile.lean

  

  Kaiyu Yang

  authored
  7d711f6

  Copy full SHA for 7d711f6

Commits on May 31, 2023

• Update lean-toolchain

  

  Kaiyu Yang

  authored
  805b3ad

  Copy full SHA for 805b3ad

Commits on May 7, 2023

• add manifest.json

  

  Kaiyu Yang

  committed
  5266a47

  Copy full SHA for 5266a47

Commits on May 4, 2023

• update deps

  

  Kaiyu Yang

  committed
  0eff069

  Copy full SHA for 0eff069

• add dependencies

  

  Kaiyu Yang

  committed
  63265b1

  Copy full SHA for 63265b1

Commits on May 3, 2023

• Create LICENSE

  

  Kaiyu Yang

  authored
  1a89710

  Copy full SHA for 1a89710

• add files

  

  Kaiyu Yang

  committed
  1593f69

  Copy full SHA for 1593f69