CD Tools main page

Experiments with Combinatory Compression of Proof Structures (04-2022)

These experiments are described in [in preparation].

The work was supported by the North-German Supercomputing Alliance (HLRN).

Result Tables

Archive


CD Tools main page