/* apps */
subgraph applications {
node [shape=plaintext,style=filled,fillcolor=slategray2];
- DependencyAnalyzer [label="Dependency\nAnalyzer"];
- Getter;
- Matita;
- ProofChecker [label="Proof\nChecker"];
- Uwobo;
- Whelp;
+ DependencyAnalyzer [label="Dependency\nAnalyzer\n .3 klocs"];
+ Getter [label="Getter\n .3 klocs"];
+ Matita [label="Matita\n 6.7 klocs"];
+ ProofChecker [label="Proof Checker\n .1 klocs"];
+ Uwobo [label="Uwobo\n 2.1 klocs"];
+ Whelp [label="Whelp\n .6 klocs"];
}
/* apps dep */
DependencyAnalyzer -> metadata;
Getter -> getter;
- Matita -> cic_disambiguation;
Matita -> grafite_engine;
Matita -> grafite_parser;
Matita -> hgdome;
- Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
Uwobo -> content_pres;
- Whelp -> cic_disambiguation;
- Whelp -> content_pres;
+ Whelp -> grafite_parser;