Commit 0b3c0fa

authored and

committed

Section headers for formal specifications

1 parent 45293bc commit 0b3c0faCopy full SHA for 0b3c0fa

1 file changed

+131

-131

lines changed

spec
- Section 5 -- Validation.md

1 file changed

+131

-131

lines changed

Comments

(0)