mirror of
https://github.com/zaphar/merkle-dag.git
synced 2025-07-24 11:39:48 -04:00
4 lines
45 B
Plaintext
4 lines
45 B
Plaintext
---- MODULE check ----
|
|
EXTENDS TLC, dag
|
|
|
|
==== |