Skip to content

Better Proof Structure #83

Open
Feature
Open
Better Proof Structure#83
Feature
Assignees
jcailler
Labels
kind:enhancementNew feature or upgrade of a previous onepart:proof-searchThe PR is about the proof-search algorithm
Milestone
1.2

Description

@jcailler
jcailler
opened on Aug 11, 2026

The current proof structure is a list of lists. It would be nice to have a proper tree instead.

Metadata

Metadata

Assignees

Labels

kind:enhancementNew feature or upgrade of a previous onepart:proof-searchThe PR is about the proof-search algorithm

Type

Feature

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions