Benjamin Werner

École Polytechnique (Institut Polytechnique de Paris) - Palaiseau / France

Engineering & Technology / Computer Science

AD Scientific Index ID: 1661511

Polytechnic School

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

École Polytechnique (Institut Polytechnique de Paris)

Benjamin Werner's MOST POPULAR ARTICLES

1-) The coq proof assistant, reference manual, version 5.10 INRIA, 1995

2-) Une théorie des constructions inductives Université Paris-Diderot-Paris VII, 1994

3-) Verifying SAT and SMT in Coq for a fully automated decision procedure

4-) Synthesis of ML programs in the system Coq Journal of Symbolic Computation 15 (5-6), 607-640, 1993

5-) The Coq proof assistant reference manual INRIA, version 6 (11), 17-21, 1999

ARTICLES

Add your articles