Skip to content

Report transitive chain bugs to Isabelle community #37

Description

@clange

Vacuous calculation result, possibly due to underspecification.

To be seen in this version or maybe earlier ones.

Metadata

Metadata

Assignees

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions