TY  - RPRT
TI  - EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)
AU  - Mohamed Yacine El Haddad
AU  - Guillaume Burel
AU  - Frédéric Blanqui
PY  - 2019
DO  - 10.4204/eptcs.301.5
UR  - https://arxiv.org/abs/1908.09479
ID  - 1908.09479
ER  -