Issues

• Use Hammer instead of hammer in README

  JOSHCLUNE/LeanHammer#21 · Filter by author hanwenzhu opened on Jul 5, 2025

• Error on Hammer import - invalid option declaration 'lazyReduce.skipProof'

  JOSHCLUNE/LeanHammer#18 · Filter by author barabbs opened on Jun 26, 2025
  1

• Installation issue

  JOSHCLUNE/LeanHammer#17 · Filter by author DanielHL opened on Jun 23, 2025
  1

• Try this widget not working

  JOSHCLUNE/LeanHammer#16 · Filter by author hanwenzhu opened on Jun 18, 2025

• Use better config syntax

  JOSHCLUNE/LeanHammer#15 · Filter by author hanwenzhu opened on Jun 18, 2025