EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) Academic Article

authors

publication date

August 23, 2019

published in

arXiv (Cornell University)

Digital Object Identifier (DOI)

https://doi.org/10.4204/eptcs.301.5

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W3100311625 Global Citation Count

start page

27

end page

35

volume

301