Issues

• Removable library files

  SSProve/ssprove#127 · Filter by author MarkusKL opened on Oct 22, 2026

• flake.nix uses wrong dependency versions

  SSProve/ssprove#92 · Filter by author MarkusKL opened on Sep 26, 2025

• Names for wires

  SSProve/ssprove#87 · Filter by author spitters opened on Aug 8, 2025

• Remove choice_universe

  type: enhancement
  SSProve/ssprove#80 · Filter by author spitters opened on Jun 2, 2025
  1

• Replace extructures with finmap

  SSProve/ssprove#66 · Filter by author MarkusKL opened on Apr 27, 2025
  12

• Rename Arit

  SSProve/ssprove#31 · Filter by author TheoWinterhalter opened on Aug 31, 2022

• Rename validity

  SSProve/ssprove#29 · Filter by author TheoWinterhalter opened on Jun 29, 2022

• Rename rules to no longer mention chronos

  SSProve/ssprove#28 · Filter by author TheoWinterhalter opened on Jun 29, 2022