Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 30, 2024

• Merge pull request #79 from chabulhwi/ignore-backup-files

  Show description for 301951e
  kbuzzard

  authored
  301951e

Commits on Oct 18, 2024

• Ignore backup files

  Show description for f9f1597
  chabulhwi

  committed
  f9f1597

Commits on Aug 28, 2024

• Merge pull request #64 from yannickseurin/add_right_eq_self

  Show description for 66b27f3
  joneugster

  authored
  66b27f3

Commits on Jul 4, 2024

• Merge pull request #73 from mcol/typos

  Show description for 7400b12
  joneugster

  authored
  7400b12

• Fix hint.

  mcol

  committed
  8a563cf

Commits on Jul 3, 2024

• Fix typos.

  mcol

  committed
  281d35e

Commits on Jun 29, 2024

• Merge pull request #69 from ugur-a/patch-1

  Show description for bfaf125
  joneugster

  authored
  bfaf125

• Fix quoting

  ugur-a

  authored
  0d828ed

Commits on Jun 21, 2024

• Merge pull request #67 from jaredcosulich/more-use-examples

  Show description for 3e9657d
  joneugster

  authored
  3e9657d

Commits on Jun 19, 2024

• I got confused with how use works, assuming it required an explicit natural number (e.g. 37). Tweaking the docs to make it more clear that use accepts more than just natural numbers.

  jaredcosulich

  authored
  c10d255

Commits on Jun 14, 2024

• Merge pull request #66 from yannickseurin/typos

  Show description for 2881a0f
  joneugster

  authored
  2881a0f

• typo in L06mul_right_eq_one.lean

  yannickseurin

  authored
  5d25d0f

• typo in L05le_mul_right.lean

  yannickseurin

  authored
  9bc5995

• typo in L03eq_succ_of_ne_zero.lean

  yannickseurin

  authored
  08b488b

Commits on Jun 13, 2024

• Merge pull request #65 from yannickseurin/typos

  Show description for bed66ee
  joneugster

  authored
  bed66ee

Commits on Jun 12, 2024

• alternate proof for add_right_eq_self

  yannickseurin

  authored
  2ba1b70

• Update L08pow_pow.lean

  yannickseurin

  authored
  47e143c

• typo in L07mul_pow.lean

  yannickseurin

  authored
  fb90bad

Commits on Jun 11, 2024

• Merge pull request #63 from yannickseurin/typos

  Show description for 401d973
  joneugster

  authored
  401d973

• typo in L08ne.lean

  yannickseurin

  authored
  fbf6950

Commits on Apr 29, 2024

• add text suggestion leanprover-community/lean4game#222

  joneugster

  committed
  49dcef9

Commits on Apr 18, 2024

• adding a hint

  joneugster

  committed
  7d02ff3

Commits on Apr 15, 2024

• Merge pull request #61 from JiechengZhao/i18n-zh-2

  Show description for b567f54
  joneugster

  authored
  b567f54

Commits on Apr 12, 2024

• finish first walking over the game!

  JiechengZhao

  committed
  ac7b079

• update script

  JiechengZhao

  committed
  7fa8736

Commits on Apr 11, 2024

• regenerate pot

  JiechengZhao

  committed
  5807666

• ck

  JiechengZhao

  committed
  6e5ceb0

• ck

  JiechengZhao

  committed
  723874f

• Merge pull request #62 from Rida-Hamadani/patch-1

  Show description for 1b91b1c
  joneugster

  authored
  1b91b1c

• Fix typo

  Rida-Hamadani

  authored
  90c53ce

• update Game.json

  JiechengZhao

  committed
  9374223

• Update README.md

  joneugster

  authored
  f9e8f86

• Merge branch 'i18n_zh3' into i18n-zh-2

  JiechengZhao

  committed
  d4d1e19

• fix untranslated and remove tmp file

  JiechengZhao

  committed
  5397761

• update translation

  JiechengZhao

  committed
  8876916

Pagination

Previous

Next