Move untrusted witnesses to full version #222

Open

Labels

Milestone

minimal-submittable

opened

on Jun 14, 2021

Only for the springer-version branch.

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

minimal-submittableNo due date

Relationships

None yet

Development

No branches or pull requests