34j/best-of-lean4 issues and pull requests

#96 - docs: best-of update 2024.10.17

Pull Request - State: open - Opened by github-actions[bot] 29 days ago

#95 - docs: best-of update 2024.10.10

Pull Request - State: open - Opened by github-actions[bot] about 1 month ago

#94 - chore(pre-commit.ci): pre-commit autoupdate

Pull Request - State: open - Opened by pre-commit-ci[bot] about 1 month ago

#93 - chore(deps): update pre-commit hook pre-commit/pre-commit-hooks to v5

Pull Request - State: open - Opened by renovate[bot] about 1 month ago
Labels: dependencies

#92 - docs: best-of update 2024.10.03

Pull Request - State: closed - Opened by github-actions[bot] about 1 month ago

#91 - docs: best-of update 2024.09.26-18.11

Pull Request - State: closed - Opened by github-actions[bot] about 2 months ago

#90 - docs: best-of update 2024.09.26

Pull Request - State: open - Opened by github-actions[bot] about 2 months ago

#89 - chore(deps): update pre-commit hook commitizen-tools/commitizen to v3.29.1

Pull Request - State: closed - Opened by renovate[bot] about 2 months ago
Labels: dependencies

#88 - docs: best-of update 2024.09.19-18.11

Pull Request - State: closed - Opened by github-actions[bot] about 2 months ago

#87 - docs: best-of update 2024.09.19

Pull Request - State: closed - Opened by github-actions[bot] about 2 months ago

#86 - feat: add Reservoir to tools

Pull Request - State: closed - Opened by juhp about 2 months ago - 1 comment

#85 - docs: best-of update 2024.09.16-12.55

Pull Request - State: closed - Opened by github-actions[bot] 2 months ago

#84 - feat: add LeanDojo

Pull Request - State: closed - Opened by 34j 2 months ago

#83 - docs: best-of update 2024.09.16-12.51

Pull Request - State: closed - Opened by github-actions[bot] 2 months ago

#82 - docs: best-of update 2024.09.16-11.13

Pull Request - State: closed - Opened by github-actions[bot] 2 months ago

#81 - docs: best-of update 2024.09.16-11.10

Pull Request - State: closed - Opened by github-actions[bot] 2 months ago

#80 - style: add prettier-ignore

Pull Request - State: closed - Opened by 34j 2 months ago

#79 - feat: update `Lean by Example`

Pull Request - State: closed - Opened by Seasawher 2 months ago - 5 comments

#78 - https://lean-ja.github.io/tactic-cheetsheet/ is outdated

Issue - State: closed - Opened by Seasawher 2 months ago
Labels: question

#77 - docs: best-of update 2024.08.15

Pull Request - State: closed - Opened by github-actions[bot] 3 months ago

#76 - docs: best-of update 2024.08.10-05.24

Pull Request - State: closed - Opened by github-actions[bot] 3 months ago

#75 - docs: update header.md

Pull Request - State: closed - Opened by 34j 3 months ago

#74 - docs: best-of update 2024.08.10

Pull Request - State: closed - Opened by github-actions[bot] 3 months ago

#73 - docs: update README.md

Pull Request - State: closed - Opened by 34j 3 months ago

#72 - docs: best-of update 2024.08.08

Pull Request - State: closed - Opened by github-actions[bot] 3 months ago

#71 - Add project: LeanDojo

Issue - State: closed - Opened by Tadinu 3 months ago
Labels: add-project

#70 - docs: best-of update 2024.08.01

Pull Request - State: closed - Opened by github-actions[bot] 4 months ago

#69 - docs: best-of update 2024.07.25

Pull Request - State: closed - Opened by github-actions[bot] 4 months ago

#68 - docs: best-of update 2024.07.18

Pull Request - State: closed - Opened by github-actions[bot] 4 months ago

#67 - chore(deps): update pre-commit hook commitizen-tools/commitizen to v3.28.0 - abandoned

Pull Request - State: closed - Opened by renovate[bot] 4 months ago - 2 comments
Labels: dependencies

#66 - docs: best-of update 2024.07.11

Pull Request - State: closed - Opened by github-actions[bot] 4 months ago

#65 - docs: best-of update 2024.07.04

Pull Request - State: closed - Opened by github-actions[bot] 4 months ago

#64 - docs: best-of update 2024.06.27

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#63 - docs: best-of update 2024.06.22-12.37

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#62 - chore(deps): update stefanzweifel/git-auto-commit-action action to v5 - autoclosed

Pull Request - State: closed - Opened by renovate[bot] 5 months ago
Labels: dependencies

#61 - chore(deps): update pre-commit hook pre-commit/mirrors-prettier to v3 - autoclosed

Pull Request - State: closed - Opened by renovate[bot] 5 months ago
Labels: dependencies

#60 - docs: best-of update 2024.06.22-11.09

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#59 - chore(deps): update peterjgrainger/action-create-branch action to v3

Pull Request - State: closed - Opened by renovate[bot] 5 months ago
Labels: dependencies

#58 - chore(deps): update actions/checkout action to v4

Pull Request - State: closed - Opened by renovate[bot] 5 months ago
Labels: dependencies

#57 - docs: best-of update 2024.06.22-08.02

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#56 - chore(deps): update pre-commit hook pre-commit/pre-commit-hooks to v4.6.0

Pull Request - State: closed - Opened by renovate[bot] 5 months ago
Labels: dependencies

#55 - chore(deps): update pre-commit hook commitizen-tools/commitizen to v3.27.0

Pull Request - State: closed - Opened by renovate[bot] 5 months ago
Labels: dependencies

#54 - docs: best-of update 2024.06.22-07.58

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#53 - docs: best-of update 2024.06.22-07.56

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#52 - Dependency Dashboard

Issue - State: open - Opened by renovate[bot] 5 months ago

#51 - chore(deps): update pre-commit hook codespell-project/codespell to v2.3.0

Pull Request - State: closed - Opened by renovate[bot] 5 months ago
Labels: dependencies

#50 - chore(deps): update peterjgrainger/action-create-branch action to v2.4.0

Pull Request - State: closed - Opened by renovate[bot] 5 months ago - 1 comment
Labels: dependencies

#49 - docs: best-of update 2024.06.22

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#48 - docs: best-of update 2024.06.06

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#47 - docs: best-of update 2024.05.30

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago

#46 - docs: best-of update 2024.05.23

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago

#45 - docs: best-of update 2024.05.16

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago

#44 - docs: best-of update 2024.05.13

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago

#43 - docs: best-of update 2024.05.09

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago

#42 - docs: best-of update 2024.05.02

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago

#41 - docs: best-of update 2024.04.25

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago

#40 - docs: best-of update 2024.04.18

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago

#39 - docs: best-of update 2024.04.11

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago

#38 - docs: best-of update 2024.04.10

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago

#37 - docs: best-of update 2024.04.04

Pull Request - State: closed - Opened by github-actions[bot] 8 months ago

#36 - docs: best-of update 2024.03.28

Pull Request - State: closed - Opened by github-actions[bot] 8 months ago

#35 - docs: best-of update 2024.03.21

Pull Request - State: closed - Opened by github-actions[bot] 8 months ago

#34 - docs: best-of update 2024.03.14

Pull Request - State: closed - Opened by github-actions[bot] 8 months ago

#33 - docs: best-of update 2024.03.07

Pull Request - State: closed - Opened by github-actions[bot] 8 months ago

#32 - docs: best-of update 2024.02.29

Pull Request - State: closed - Opened by github-actions[bot] 9 months ago

#31 - docs: best-of update 2024.02.22

Pull Request - State: closed - Opened by github-actions[bot] 9 months ago

#30 - docs: best-of update 2024.02.15

Pull Request - State: closed - Opened by github-actions[bot] 9 months ago

#29 - docs: best-of update 2024.02.09-14.40

Pull Request - State: closed - Opened by github-actions[bot] 9 months ago

#28 - docs: best-of update 2024.02.09

Pull Request - State: closed - Opened by github-actions[bot] 9 months ago

#27 - docs: best-of update 2024.02.08

Pull Request - State: closed - Opened by github-actions[bot] 9 months ago

#26 - feat: add CvxLean

Pull Request - State: closed - Opened by ramonfmir 9 months ago

#25 - docs: best-of update 2024.02.01

Pull Request - State: closed - Opened by github-actions[bot] 10 months ago

#24 - docs: best-of update 2024.01.25

Pull Request - State: closed - Opened by github-actions[bot] 10 months ago

#23 - docs: best-of update 2024.01.18

Pull Request - State: closed - Opened by github-actions[bot] 10 months ago

#22 - docs: best-of update 2024.01.11

Pull Request - State: closed - Opened by github-actions[bot] 10 months ago

#21 - docs: best-of update 2024.01.04

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago

#20 - docs: best-of update 2023.12.28

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago

#19 - docs: best-of update 2023.12.21

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago

#18 - docs: best-of update 2023.12.14

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago

#17 - docs: best-of update 2023.12.07

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago

#16 - docs: best-of update 2023.11.30

Pull Request - State: closed - Opened by github-actions[bot] 12 months ago

#15 - docs: best-of update 2023.11.24

Pull Request - State: closed - Opened by github-actions[bot] 12 months ago

#14 - docs: best-of update 2023.11.23

Pull Request - State: closed - Opened by github-actions[bot] 12 months ago

#13 - docs: best-of update 2023.11.16

Pull Request - State: closed - Opened by github-actions[bot] almost 1 year ago