Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Apr 11, 2025

• bump to Lean v4.18.0

  Lizn-zn

  committed
  92ef2dbView commit details

  Copy full SHA for 92ef2db

  Browse repository at this point

Commits on Apr 10, 2025

• WIP

  Lizn-zn

  committed
  9d912b0View commit details

  Copy full SHA for 9d912b0

  Browse repository at this point

Commits on Apr 9, 2025

• WIP

  Lizn-zn

  committed
  fdc6555View commit details

  Copy full SHA for fdc6555

  Browse repository at this point

Commits on Mar 26, 2025

• Update README.md

  chenyili0818

  committed
  ebb7d17View commit details

  Copy full SHA for ebb7d17

  Browse repository at this point

Commits on Mar 25, 2025

• Update README.md

  chenyili0818

  authored
  bc1adacView commit details

  Copy full SHA for bc1adac

  Browse repository at this point

Commits on Mar 20, 2025

• chore: fix doc (#4)

  alissa-tung

  authored
  e8d55a1View commit details

  Copy full SHA for e8d55a1

  Browse repository at this point

• Update lake-manifest.json

  chenyili0818

  authored
  c022d5dView commit details

  Copy full SHA for c022d5d

  Browse repository at this point

• Update

  chenyili0818

  committed
  77561acView commit details

  Copy full SHA for 77561ac

  Browse repository at this point

• Update docs.yaml

  chenyili0818

  authored
  9d5b4c0View commit details

  Copy full SHA for 9d5b4c0

  Browse repository at this point

• Update ci.yaml

  chenyili0818

  authored
  170b56eView commit details

  Copy full SHA for 170b56e

  Browse repository at this point

• Update README.md

  chenyili0818

  authored
  4f03a71View commit details

  Copy full SHA for 4f03a71

  Browse repository at this point

• Update Optlib

  chenyili0818

  committed
  7db6090View commit details

  Copy full SHA for 7db6090

  Browse repository at this point

Commits on Dec 22, 2024

• Update README.md

  chenyili0818

  authored
  eeeb99aView commit details

  Copy full SHA for eeeb99a

  Browse repository at this point

• Update README.md

  chenyili0818

  authored
  dce7881View commit details

  Copy full SHA for dce7881

  Browse repository at this point

• Update README.md

  chenyili0818

  authored
  1adabfeView commit details

  Copy full SHA for 1adabfe

  Browse repository at this point

Commits on Sep 7, 2024

• Update README.md

  chenyili0818

  authored
  244700cView commit details

  Copy full SHA for 244700c

  Browse repository at this point

Commits on Aug 29, 2024

• Update README.md

  

  cyl

  committed
  2f84855View commit details

  Copy full SHA for 2f84855

  Browse repository at this point

Commits on Jul 8, 2024

• fix: missing import, sync mul-div cancellation lemmas

  alissa-tung

  committed
  e382d94View commit details

  Copy full SHA for e382d94

  Browse repository at this point

Commits on Jul 7, 2024

• Update lake-manifest.json

  

  cyl

  committed
  b390f75View commit details

  Copy full SHA for b390f75

  Browse repository at this point

• Update to 4.10.0

  

  cyl

  committed
  c44bf72View commit details

  Copy full SHA for c44bf72

  Browse repository at this point

Commits on Mar 19, 2024

• Update README.md

  chenyili0818

  authored
  bf14915View commit details

  Copy full SHA for bf14915

  Browse repository at this point

Commits on Mar 14, 2024

• Update README.md

  chenyili0818

  authored
  f7ba816View commit details

  Copy full SHA for f7ba816

  Browse repository at this point

• Update

  

  cyl

  committed
  ab161cfView commit details

  Copy full SHA for ab161cf

  Browse repository at this point

• Update

  

  cyl

  committed
  379bcdcView commit details

  Copy full SHA for 379bcdc

  Browse repository at this point

• Update Lsmooth.lean

  chenyili0818

  authored
  97aaa49View commit details

  Copy full SHA for 97aaa49

  Browse repository at this point

• Update ConvexFunction.lean

  chenyili0818

  authored
  a83ebd5View commit details

  Copy full SHA for a83ebd5

  Browse repository at this point

• Update Lemmas.lean

  chenyili0818

  authored
  6acdbcbView commit details

  Copy full SHA for 6acdbcb

  Browse repository at this point

• Update GradientDiv.lean

  chenyili0818

  authored
  4aa8de3View commit details

  Copy full SHA for 4aa8de3

  Browse repository at this point

• Add files via upload

  chenyili0818

  authored
  8d8e4bfView commit details

  Copy full SHA for 8d8e4bf

  Browse repository at this point

Commits on Mar 13, 2024

• Update README.md

  chenyili0818

  authored
  72fe17aView commit details

  Copy full SHA for 72fe17a

  Browse repository at this point

• Merge pull request #2 from alissa-tung/main

  Show description for 5a93703
  chenyili0818

  authored
  5a93703View commit details

  Copy full SHA for 5a93703

  Browse repository at this point

• docs: update

  alissa-tung

  committed
  525808aView commit details

  Copy full SHA for 525808a

  Browse repository at this point

• Merge pull request #1 from alissa-tung/main

  Show description for 202232f
  chenyili0818

  authored
  202232fView commit details

  Copy full SHA for 202232f

  Browse repository at this point

• dev: ci & docs

  alissa-tung

  committed
  e3c5108View commit details

  Copy full SHA for e3c5108

  Browse repository at this point

• refactor: lib structure

  alissa-tung

  committed
  796d708View commit details

  Copy full SHA for 796d708

  Browse repository at this point