enhancement : compose train/splits on-the-fly using coq paths

[Josephrp]

we need to be able to reference and retrieve relevant coq proofs for downstream tasks.

Requires :

• simple script to retrieve the stack of paths.