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

Mohamed Yacine El Haddad Guillaume Burel Frédéric Blanqui

Published in: PxTP (2019)

Keyphrases

extended abstract
databases
database
data sets
metadata
case study
three dimensional
data structure
evolutionary algorithm
object oriented
file system
theorem proving