All pull requests

Pull requests

• Fix typos in comments for constructors in Definitions.lean

  #24·danthemango opened Aug 27, 2026·

  ·

• typo fix

  #22·lf- opened Jan 24, 2026·

  ·

• Correct a level title

  #21·cionx opened Aug 15, 2025·

  ·
  1

• Fix wikipedia link (modus ponendo tollens -> modus tollendo ponens)

  #17·SnirBroshi opened Oct 25, 2024·

  ·

• Fix typo (tutotial -> tutorial)

  #16·SnirBroshi opened Oct 25, 2024·

  ·

• Fix typos

  #15·pitmonticone opened Aug 23, 2024·

  ·

• Fix more typos.

  #11·mcol opened Jul 10, 2024Contributor·

  ·