Search - Recherche en informatique (CRI)
 Access content directly

Filter your results

1 Résultat
Deposit type : Annex

Dedukti: A Universal Proof Checker

Mathieu Boespflug , Quentin Carbonneaux , Olivier Hermant , Ronan Saillard
Journées communes LTP - LAC, Oct 2012, Orléans, France
Conference papers hal-01537578v1