merkle-dag/tla/check.tla
2023-01-08 14:04:49 -05:00

4 lines
45 B
Plaintext

---- MODULE check ----
EXTENDS TLC, dag
====