C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The MetaCoq Project.
Matthieu Sozeau
Abhishek Anand
Simon Boulier
Cyril Cohen
Yannick Forster
Fabian Kunze
Gregory Malecha
Nicolas Tabareau
Théo Winterhalter
Published in:
J. Autom. Reason. (2020)
Keyphrases
</>
case study
data collection
software development
project management
european project
future plans
data sets
neural network
learning algorithm
database systems
face recognition
evolutionary algorithm
european union