Search results

Drop use of experimental_reals (mathcomp-analysis)

Status: Open.

#89 In SSProve/ssprove;

· MarkusKL opened on Aug 28, 2025

Names for wires

Status: Open.

#87 In SSProve/ssprove;

· spitters opened on Aug 8, 2025

Remove choice_universe

enhancementNew feature or requestNew feature or request

Status: Open.

#80 In SSProve/ssprove;

· spitters opened on Jun 2, 2025

Generalize relations between locations in the invariant.

Status: Open.

#71 In SSProve/ssprove;

· MarkusKL opened on May 1, 2025

Replace extructures with finmap

Status: Open.

#66 In SSProve/ssprove;

· MarkusKL opened on Apr 27, 2025

Rename Arit

Status: Open.

#31 In SSProve/ssprove;

· TheoWinterhalter opened on Aug 31, 2022

Rename validity

Status: Open.

#29 In SSProve/ssprove;

· TheoWinterhalter opened on Jun 29, 2022

Rename rules to no longer mention chronos

Status: Open.

#28 In SSProve/ssprove;

· TheoWinterhalter opened on Jun 29, 2022