clone

a browser grid puzzle game where you push words around to rewrite the rules of each level

spec: define long proof title diagnostics

Dami committed eebb18d
commit
eebb18d8af98e494f4cc12c20ab0723ca597a3ba
parent
ca124465cb74476d4000f8db48c63632d0e842fe
author
Dami <dami.etoile@gmail.com>
4 files changed, +68 -0
Aopenspec/changes/add-proof-title-diagnostics/.openspec.yaml2++
Aopenspec/changes/add-proof-title-diagnostics/proposal.md22++++++++++++++++++++++
Aopenspec/changes/add-proof-title-diagnostics/specs/level-sharing/spec.md26++++++++++++++++++++++++++
Aopenspec/changes/add-proof-title-diagnostics/tasks.md18++++++++++++++++++
A openspec/changes/add-proof-title-diagnostics/.openspec.yaml +2 -0
A openspec/changes/add-proof-title-diagnostics/proposal.md +22 -0
A openspec/changes/add-proof-title-diagnostics/specs/level-sharing/spec.md +26 -0
A openspec/changes/add-proof-title-diagnostics/tasks.md +18 -0