Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 14, 2025

• bump to v4.22.0

  hanwenzhu

  committed
  4085329

  Copy full SHA for 4085329

Commits on Aug 12, 2025

• add parsing for proof_wanted (#11)

  Show description for aebf880
  hanwenzhu

  authored
  aebf880

  Copy full SHA for aebf880

Commits on Aug 11, 2025

• Change `check=False`

  hanwenzhu

  authored
  1720067

  Copy full SHA for 1720067

Commits on Jul 30, 2025

• Merge pull request #10 from cmu-l3/declarations2

  Show description for e14b973
  hanwenzhu

  authored
  e14b973

  Copy full SHA for e14b973

Commits on Jul 10, 2025

• bug fix: supply module name to env.mainModule

  hanwenzhu

  committed
  b401644

  Copy full SHA for b401644

Commits on Jul 9, 2025

• bugfix

  hanwenzhu

  committed
  a81fb4d

  Copy full SHA for a81fb4d

• typo

  hanwenzhu

  committed
  4015fb2

  Copy full SHA for 4015fb2

• typo

  hanwenzhu

  committed
  7ad27ed

  Copy full SHA for 7ad27ed

• typo

  hanwenzhu

  committed
  09da0ba

  Copy full SHA for 09da0ba

• increase concurrency

  hanwenzhu

  committed
  c0bc7bc

  Copy full SHA for c0bc7bc

Commits on Jul 8, 2025

• minor

  hanwenzhu

  committed
  43bef15

  Copy full SHA for 43bef15

• minor

  hanwenzhu

  committed
  1b6714b

  Copy full SHA for 1b6714b

Commits on Jul 7, 2025

• refactor declarations

  hanwenzhu

  committed
  c033332

  Copy full SHA for c033332

• chore: issue resolved

  hanwenzhu

  committed
  7dd98a0

  Copy full SHA for 7dd98a0

• Merge pull request #9 from cmu-l3/main-merge-hammer

  Show description for 37aaf59
  hanwenzhu

  authored
  37aaf59

  Copy full SHA for 37aaf59

• refactor: use withNtpToolkitPPOptions; refactor withImports

  hanwenzhu

  committed
  84701f3

  Copy full SHA for 84701f3

Commits on Jul 3, 2025

• revert changes

  hanwenzhu

  committed
  251ad8f

  Copy full SHA for 251ad8f

• revert changes

  hanwenzhu

  committed
  2123d1e

  Copy full SHA for 2123d1e

• bump to v4.21.0

  hanwenzhu

  committed
  22d51a8

  Copy full SHA for 22d51a8

• remove --skip_setup in the first setup

  hanwenzhu

  committed
  9aad70f

  Copy full SHA for 9aad70f

• bump Lean

  hanwenzhu

  committed
  78214ab

  Copy full SHA for 78214ab

• enableInitializersExecution

  hanwenzhu

  committed
  011c459

  Copy full SHA for 011c459

• Merge branch 'hammer' into main-merge-hammer

  hanwenzhu

  committed
  e56b9d2

  Copy full SHA for e56b9d2

Commits on Jun 4, 2025

• simplify common options

  hanwenzhu

  committed
  cb20013

  Copy full SHA for cb20013

Commits on Jun 2, 2025

• update guide

  hanwenzhu

  committed
  20e074d

  Copy full SHA for 20e074d

• bump toolchain to v4.20.0

  hanwenzhu

  committed
  cc78550

  Copy full SHA for cc78550

Commits on May 24, 2025

• link to LeanHammer

  hanwenzhu

  committed
  a8dff84

  Copy full SHA for a8dff84

Commits on May 23, 2025

• decapitalize mathlib

  hanwenzhu

  committed
  ca9eca7

  Copy full SHA for ca9eca7

Commits on May 22, 2025

• deprecation chore

  hanwenzhu

  committed
  468b9d3

  Copy full SHA for 468b9d3

• deprecation chore

  hanwenzhu

  committed
  30ab30e

  Copy full SHA for 30ab30e

• lean core rename

  hanwenzhu

  committed
  80c57b6

  Copy full SHA for 80c57b6

• fix merge conflicts

  hanwenzhu

  committed
  8717302

  Copy full SHA for 8717302

• fix run_pipeline

  hanwenzhu

  committed
  56bbbc7

  Copy full SHA for 56bbbc7

• v4.20.0-rc5

  hanwenzhu

  committed
  4885b99

  Copy full SHA for 4885b99

• create revision file

  hanwenzhu

  committed
  c5b00d1

  Copy full SHA for c5b00d1

Pagination

Previous

Next