GeezerVison

Pull requests

• pyk: fix three KCFG/proof persistence bugs (with regression tests)

  #4945·docxology opened Nov 1, 2026·

  ·
  1

• Pin secret-bearing third-party actions and the kup flake input

  #4944·docxology opened Nov 1, 2026·

  ·
  1

• [WIP] kprove: apply the specification steps only to the spec's own modules

  #4943·RaoulSchaffranek opened Oct 28, 2026Member·

  ·

• Update dependency: deps/llvm-backend_release

  #4938·rv-jenkins opened Jun 23, 2026Contributor·

  ·
  2

• pyk: booster-only recover mode for the APR prover, isolating and recording Kore handoffs

  #4931·ehildenb opened Jun 10, 2026Member·

  ·

• pyk: context-aware sort-parameter inference in add_sort_params (port of Java AddSortInjections)

  #4915·ehildenb opened Apr 27, 2026Member·

  ·
  3

• Improvements to show, and new show from disc

  #4911·mariaKt opened Apr 20, 2026Collaborator·

  ·
  17

• Fixing some typos in domains.md

  #4905·dkcumming opened Mar 20, 2026Contributor·

  ·
  12

• Hotfix pyk equation rendering

  #4882·jberthold opened Nov 17, 2025Collaborator·

  ·

• Empty PR

  #4878·RaoulSchaffranek opened Nov 5, 2025Member·

  ·

• Update dependency: web/k-web-theme

  #4876·rv-jenkins opened Oct 31, 2025Contributor·

  ·

• Update Lesson 1.7 tutorial

  #4828·ibastys opened Jun 2, 2025Contributor·

  ·

• Update Lesson 1.6 README

  #4826·ibastys opened May 29, 2025Contributor·

  ·

• Update Lesson 1.5 README.

  #4816·ibastys opened May 14, 2025Contributor·

  ·
  6

• Add explicit symbol name for isKResult function on Readme

  #4807·0xkohe opened May 5, 2025·

  ·
  2

• Avoid clashes of generated declarations and Lean 4

  #4742·JuanCoRo opened Jan 21, 2025Member·

  ·
  6

• Adding preserves-definedness attributes to domains.md

  #4680·PetarMax opened Nov 2, 2024Contributor·

  ·

• Remove Subst.pred functionality

  #4626·ehildenb opened Sep 5, 2024Member·

  ·