placeholder image

Blanqui, Frédéric

Person

Positions

, Institut national de recherche en informatique et en automatique

selected publications

academic article
- EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract). arXiv (Cornell University). 301:27-35. 2019

full name

Frédéric Blanqui

Publications in VIVO

Co-author Network