Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 28, 2024

• Merge pull request #64 from yannickseurin/add_right_eq_self

  Show description for 66b27f3
  joneugster

  authored
  66b27f3

  Copy full SHA for 66b27f3

Commits on Jul 4, 2024

• Fix hint.

  mcol

  committed
  8a563cf

  Copy full SHA for 8a563cf

Commits on Jul 3, 2024

• Fix typos.

  mcol

  committed
  281d35e

  Copy full SHA for 281d35e

Commits on Jun 29, 2024

• Fix quoting

  ada4a

  authored
  0d828ed

  Copy full SHA for 0d828ed

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

  Copy full SHA for c10d255

Commits on Jun 14, 2024

• typo in L06mul_right_eq_one.lean

  yannickseurin

  authored
  5d25d0f

  Copy full SHA for 5d25d0f

• typo in L05le_mul_right.lean

  yannickseurin

  authored
  9bc5995

  Copy full SHA for 9bc5995

• typo in L03eq_succ_of_ne_zero.lean

  yannickseurin

  authored
  08b488b

  Copy full SHA for 08b488b

Commits on Jun 12, 2024

• alternate proof for add_right_eq_self

  yannickseurin

  authored
  2ba1b70

  Copy full SHA for 2ba1b70

• Update L08pow_pow.lean

  yannickseurin

  authored
  47e143c

  Copy full SHA for 47e143c

• typo in L07mul_pow.lean

  yannickseurin

  authored
  fb90bad

  Copy full SHA for fb90bad

Commits on Jun 11, 2024

• typo in L08ne.lean

  yannickseurin

  authored
  fbf6950

  Copy full SHA for fbf6950

Commits on Apr 29, 2024

• add text suggestion leanprover-community/lean4game#222

  joneugster

  committed
  49dcef9

  Copy full SHA for 49dcef9

Commits on Apr 18, 2024

• adding a hint

  joneugster

  committed
  7d02ff3

  Copy full SHA for 7d02ff3

Commits on Apr 10, 2024

• bump to v4.7.0

  joneugster

  committed
  2dde948

  Copy full SHA for 2dde948

Commits on Mar 24, 2024

• add solutions to induction on other vars. #58

  joneugster

  committed
  ad44c4f

  Copy full SHA for ad44c4f

• fix variable escaping

  joneugster

  committed
  e462673

  Copy full SHA for e462673

• typo #57

  joneugster

  committed
  4a55822

  Copy full SHA for 4a55822

Commits on Mar 18, 2024

• use variable escaping in hints in LE-world

  joneugster

  committed
  18e0aec

  Copy full SHA for 18e0aec

• improve hints in Implication lvl 2. #45

  joneugster

  committed
  0353657

  Copy full SHA for 0353657

• make simp_add available in the entire game #54

  joneugster

  committed
  c35d29d

  Copy full SHA for c35d29d

Commits on Mar 17, 2024

• fix typo in implication world

  kbuzzard

  authored
  61ce832

  Copy full SHA for 61ce832

Commits on Mar 14, 2024

• remove ring tactic

  joneugster

  committed
  5010691

  Copy full SHA for 5010691

• rename iGiveUpAx to xyzzyAxiom

  joneugster

  committed
  d6bf568

  Copy full SHA for d6bf568

• do not import all of mathlib

  joneugster

  committed
  1a66069

  Copy full SHA for 1a66069

Commits on Mar 11, 2024

• fix escaped backspaces

  joneugster

  committed
  46dbb0e

  Copy full SHA for 46dbb0e

Commits on Feb 29, 2024

• bump to v4.6.0

  joneugster

  committed
  381a729

  Copy full SHA for 381a729

Commits on Feb 27, 2024

• typo

  kbuzzard

  committed
  26d8cf5

  Copy full SHA for 26d8cf5

• fix accidentally commented-out NewTactic induction

  kbuzzard

  committed
  69cca24

  Copy full SHA for 69cca24

Commits on Feb 20, 2024

• disable succ_inj. #50

  joneugster

  committed
  6658392

  Copy full SHA for 6658392

• bump to v4.5.0

  joneugster

  committed
  30232f3

  Copy full SHA for 30232f3

Commits on Feb 2, 2024

• Merge pull request #49 from pitmonticone/main

  Show description for b922d89
  joneugster

  authored
  b922d89

  Copy full SHA for b922d89

• Merge pull request #47 from Not-Abram/ReturnToTypewriterModeSuggestion

  Show description for d24f07d
  joneugster

  authored
  d24f07d

  Copy full SHA for d24f07d

Commits on Jan 31, 2024

• Update Definitions.lean

  pitmonticone

  committed
  c8f7f2c

  Copy full SHA for c8f7f2c

Commits on Jan 24, 2024

• update docstrings in implication world

  kbuzzard

  committed
  923c4fb

  Copy full SHA for 923c4fb

Pagination

Previous

Next