Looking for Formal Specification

[Дмитрий Поляков]

Have ledger something like paper or document that describe so-called "Ledger Data Structure" with corresponding methods or something like this?

[John Wiegley]

>>>>> "ДП" == Дмитрий Поляков <lilte...@gmail.com> writes:

ДП> Have ledger something like paper or document that describe so-called
ДП> "Ledger Data Structure" with corresponding methods or something like this?

Great question; I don't think anything like this exists, at least for the C++
version of the project. Maybe the other ports have something?

John