REPLica: REPL Instrumentation for Coq Analysis

POPL 2020