REPLica: REPL instrumentation for Coq analysis.

Talia Ringer Alex Sanchez-Stern Dan Grossman Sorin Lerner

Published in: CPP (2020)

Keyphrases

data sets
computer vision
face recognition
statistical analysis
quantitative analysis
machine learning
case study
data structure
information technology
image analysis