All pull requests

Pull requests

• Show both types when theorem statements differ

  #105·muneikh opened Oct 11, 2026·

  ·
  1

• Preserve Lean thread limits in sandboxed commands

  #104·muneikh opened Oct 11, 2026·

  ·

• Clean up test project directories after errors

  #103·muneikh opened Oct 11, 2026·

  ·

• doc: improve the README

  #100·YaelDillies opened Oct 5, 2026·

  ·

• feat: optional parallel kernel replay (parallel_replay)

  #99·dpwoodru opened Oct 5, 2026·

  ·
  1

  13

• fix: replay kernel primitives before the rest of the solution

  #98·fushanbobfan opened Oct 5, 2026·

  ·

• Add optional structured verification results

  #87·williamjblair opened Sep 8, 2026·

  ·
  1

• fix: contain sandbox descendants with util-linux

  #78·kim-em opened Aug 20, 2026Contributor·

  ·
  1

• feat: verify Landrun enforcement in fail-closed mode

  #76·kim-em opened Aug 20, 2026Contributor·

  ·

• feat: JSON verification reports

  #50·augustepoiroux opened Jun 4, 2026·

  ·
  4

• feat: support for theorem disproof

  #48·augustepoiroux opened Jun 3, 2026·1 task·

  ·
  1

• feat: arbitrary solutions for thm/ax challenges (take 2)

  #8·JasonGross opened Dec 20, 2025·

  ·
  2

• feat: arbitrary solutions for thm/ax challenges

  #7·JasonGross opened Dec 20, 2025·

  ·
  1

• Support defs in axiom checking and improve error messages

  #6·JasonGross opened Dec 20, 2025·

  ·
  2

• Fix: Handle all ConstantInfo types and improve error message

  #5·JasonGross opened Dec 20, 2025·

  ·
  1