REPLica: REPL Instrumentation for Coq Analysis

POPL 2020

REPLica: REPL Instrumentation for Coq Analysis

Sep 17, 2020
|
30 views
Details
Presenter: Talia Ringer Presented at CPP'20, colocated with POPL 2020.

Comments
loading...