Jon Eugster
|
7400b127d2
|
Merge pull request #73 from mcol/typos
Fix typos.
|
2024-07-04 17:17:02 +02:00 |
|
Marco Colombo
|
8a563cf6f4
|
Fix hint.
|
2024-07-04 17:02:25 +02:00 |
|
Marco Colombo
|
281d35e200
|
Fix typos.
|
2024-07-03 17:18:39 +02:00 |
|
Jon Eugster
|
bfaf1259a2
|
Merge pull request #69 from ugur-a/patch-1
Fix quoting
|
2024-06-30 01:09:58 +02:00 |
|
Ughur Alakbarov
|
0d828eda14
|
Fix quoting
|
2024-06-29 12:37:32 +02:00 |
|
Jon Eugster
|
3e9657d258
|
Merge pull request #67 from jaredcosulich/more-use-examples
Adding more examples to `use` documentation
|
2024-06-21 09:21:09 +02:00 |
|
jaredcosulich
|
c10d255b15
|
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.
|
2024-06-19 15:36:11 -04:00 |
|
Jon Eugster
|
2881a0fb1c
|
Merge pull request #66 from yannickseurin/typos
Typos in Advanced Multiplication world
|
2024-06-14 18:28:49 +02:00 |
|
Yannick Seurin
|
5d25d0f598
|
typo in L06mul_right_eq_one.lean
|
2024-06-14 12:08:33 +02:00 |
|
Yannick Seurin
|
9bc59952a8
|
typo in L05le_mul_right.lean
|
2024-06-14 11:47:56 +02:00 |
|
Yannick Seurin
|
08b488b32b
|
typo in L03eq_succ_of_ne_zero.lean
|
2024-06-14 11:41:47 +02:00 |
|
Jon Eugster
|
bed66ee135
|
Merge pull request #65 from yannickseurin/typos
Typos in "Power" world
|
2024-06-13 02:05:24 +02:00 |
|
Yannick Seurin
|
47e143cd67
|
Update L08pow_pow.lean
|
2024-06-12 14:38:20 +02:00 |
|
Yannick Seurin
|
fb90bad32c
|
typo in L07mul_pow.lean
|
2024-06-12 14:37:49 +02:00 |
|
Jon Eugster
|
401d973028
|
Merge pull request #63 from yannickseurin/typos
typo in L08ne.lean
|
2024-06-11 11:43:52 +02:00 |
|
Yannick Seurin
|
fbf69505fb
|
typo in L08ne.lean
|
2024-06-11 10:35:14 +02:00 |
|
Jon Eugster
|
49dcef91bc
|
add text suggestion leanprover-community/lean4game#222
|
2024-04-29 13:19:14 +02:00 |
|
Jon Eugster
|
7d02ff3b38
|
adding a hint
|
2024-04-18 12:04:45 +02:00 |
|
Jon Eugster
|
b567f547e8
|
Merge pull request #61 from JiechengZhao/i18n-zh-2
update script based on utensil's suggestion
|
2024-04-15 11:22:23 +02:00 |
|
Hydrogenbear
|
ac7b079524
|
finish first walking over the game!
|
2024-04-12 17:56:33 +08:00 |
|
Hydrogenbear
|
7fa8736e4b
|
update script
|
2024-04-12 13:13:19 +08:00 |
|
Hydrogenbear
|
58076662f9
|
regenerate pot
|
2024-04-11 19:43:44 +08:00 |
|
Hydrogenbear
|
6e5ceb049a
|
ck
|
2024-04-11 19:38:57 +08:00 |
|
Hydrogenbear
|
723874f7da
|
ck
|
2024-04-11 18:46:33 +08:00 |
|
Jon Eugster
|
1b91b1c82d
|
Merge pull request #62 from Rida-Hamadani/patch-1
Fix small typo in `Readme`
|
2024-04-11 12:09:16 +02:00 |
|
Rida Hamadani
|
90c53ce07a
|
Fix typo
|
2024-04-11 12:08:46 +03:00 |
|
Hydrogenbear
|
93742232f6
|
update Game.json
|
2024-04-11 17:07:46 +08:00 |
|
Jon Eugster
|
f9e8f86c42
|
Update README.md
|
2024-04-11 10:13:02 +02:00 |
|
Hydrogenbear
|
d4d1e19f13
|
Merge branch 'i18n_zh3' into i18n-zh-2
|
2024-04-11 13:26:37 +08:00 |
|
Hydrogenbear
|
53977617f0
|
fix untranslated and remove tmp file
|
2024-04-11 13:19:11 +08:00 |
|
Hydrogenbear
|
887691689c
|
update translation
|
2024-04-11 12:45:00 +08:00 |
|
Hydrogenbear
|
8c61cb9949
|
update based on new pot
|
2024-04-11 11:25:42 +08:00 |
|
Hydrogenbear
|
e968109730
|
update script based on utensil
|
2024-04-11 10:36:46 +08:00 |
|
Hydrogenbear
|
613453994a
|
Merge branch 'main' of https://github.com/leanprover-community/NNG4 into i18n_zh_2
|
2024-04-11 10:15:17 +08:00 |
|
Jon Eugster
|
f827381dbd
|
update workflow
|
2024-04-10 17:24:18 +02:00 |
|
Jon Eugster
|
2dde9482d2
|
bump to v4.7.0
|
2024-04-10 17:07:22 +02:00 |
|
Hydrogenbear
|
6845bfe72f
|
update script based on utensil
|
2024-03-28 07:34:42 +08:00 |
|
Hydrogenbear
|
107ed7da18
|
add empty zh json
|
2024-03-27 09:22:00 +08:00 |
|
Jon Eugster
|
1c993b95ef
|
Update README.md
|
2024-03-27 09:12:24 +08:00 |
|
Hydrogenbear
|
a21ba830f5
|
some update based on utensil's suggestion
|
2024-03-27 09:05:43 +08:00 |
|
Jon Eugster
|
20813a03c1
|
steps towards chinese nng
|
2024-03-27 01:39:16 +01:00 |
|
Jon Eugster
|
fdad0f8a1e
|
add empty zh json
|
2024-03-27 01:13:33 +01:00 |
|
Jon Eugster
|
37f7fe7e65
|
Merge pull request #55 from JiechengZhao/main
Chinese .po translation for NNG4
|
2024-03-27 00:27:18 +01:00 |
|
Jon Eugster
|
ad44c4fb21
|
add solutions to induction on other vars. #58
|
2024-03-24 12:36:58 +01:00 |
|
Jon Eugster
|
e462673c77
|
fix variable escaping
|
2024-03-24 12:25:59 +01:00 |
|
Jon Eugster
|
4a55822bbb
|
typo #57
|
2024-03-24 12:22:24 +01:00 |
|
Jiecheng Z
|
f2f8a3f391
|
Update .i18n/Game-zh_CN.po
Co-authored-by: Utensil <utensilcandel@gmail.com>
|
2024-03-23 20:53:45 +08:00 |
|
Jiecheng Z
|
1e0f41626b
|
Update .i18n/Game-zh_CN.po
Co-authored-by: Utensil <utensilcandel@gmail.com>
|
2024-03-23 20:19:12 +08:00 |
|
Jiecheng Z
|
5a36795d37
|
Update .i18n/Game-zh_CN.po
Co-authored-by: Utensil <utensilcandel@gmail.com>
|
2024-03-23 19:56:59 +08:00 |
|
Jiecheng Z
|
1f0698fad1
|
Update .i18n/Game-zh_CN.po
Co-authored-by: Utensil <utensilcandel@gmail.com>
|
2024-03-23 19:55:59 +08:00 |
|