Knowledge Tree

researcher / David Braun

David Braun

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective