https://github.com/uwplse/coq-change-analytics

REPLICA: REPL Instrumentation for Coq Analysis

analysis analytics coq coq-ecosystem coq-plugin proof-engineering read-eval-print-loop repl replica user-study user-study-tool

Last synced: 20 May 2026