Search results

Unknown identifier Auto.Solver.TPTP.getZipperpositionExePath

Status: Open.

#37 In JOSHCLUNE/LeanHammer;

· srghma opened on Apr 21, 2026

Use Hammer instead of hammer in README

Status: Open.

#21 In JOSHCLUNE/LeanHammer;

· hanwenzhu opened on Jul 5, 2025

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

Status: Open.

#18 In JOSHCLUNE/LeanHammer;

· barabbs opened on Jun 26, 2025

Installation issue

Status: Open.

#17 In JOSHCLUNE/LeanHammer;

· DanielHL opened on Jun 23, 2025

Try this widget not working

Status: Open.

#16 In JOSHCLUNE/LeanHammer;

· hanwenzhu opened on Jun 18, 2025

Use better config syntax

Status: Open.

#15 In JOSHCLUNE/LeanHammer;

· hanwenzhu opened on Jun 18, 2025