Mathematical Knowledge Taxonomy Database Project : Seeking interested parties

[saf-dmitry]

Is it related to writing hierarchically structured proofs?

lamport-how-to-write.pdf

proof.pdf