Yu-Ting Hsiung ad57f687c0 Fix typo in Game

2025-09-27 11:57:21 +08:00

..

L01exact.lean

add text suggestion leanprover-community/lean4game#222

2024-04-29 13:19:14 +02:00

L02exact2.lean

Fix typo in Game

2025-09-27 11:57:21 +08:00

L03apply.lean

chore: tinker with some wording in Implication world

2025-02-15 15:03:16 +00:00

L04succ_inj.lean

fix escaped backspaces

2024-03-11 19:10:20 +01:00

L05succ_inj2.lean

LemmaTab -> TheoremTab

2024-01-24 15:42:41 +00:00

L06intro.lean

fix escaped backspaces

2024-03-11 19:10:20 +01:00

L07intro2.lean

bump v4.22.0

2025-08-30 00:44:07 +02:00

L08ne.lean

typo in L08ne.lean

2024-06-11 10:35:14 +02:00

L09zero_ne_succ.lean

update docstrings in implication world

2024-01-24 17:50:18 +00:00

L10one_ne_zero.lean

update docstrings in implication world

2024-01-24 17:50:18 +00:00

L11two_add_two_ne_five.lean

LemmaTab -> TheoremTab

2024-01-24 15:42:41 +00:00