Crate: tptp 0.11.0

Dependencies:

Crate file analysis

Compressed crate size: 11kb

Valid: true

Checksum matches: true

Tokei lines of code count

Tokei output:

Language	Total lines	Code	Comments	Blank lines
Markdown	19	19	0	0
Prolog	99	46	39	14
Rust	1442	1189	80	173
TOML	39	25	11	3
Total:	1599	1279	130	190

Dependency analysis

Direct dependencies: 3

Transitive dependencies: 98

Cargofox