Skip to content

feat: make anonymous instance names not include proofs#3934

Merged
kmill merged 1 commit intoleanprover:masterfrom kmill:inst_name_tweaksApr 17, 2024

Commits

Commits on Apr 17, 2024