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

REPLICA: REPL Instrumentation for Coq Analysis
https://github.com/uwplse/coq-change-analytics

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

Last synced: 8 days ago
JSON representation

REPLICA: REPL Instrumentation for Coq Analysis

• Host: GitHub
• URL: https://github.com/uwplse/coq-change-analytics
• Owner: uwplse
• License: lgpl-2.1
• Created: 2018-10-22T22:27:45.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-01-02T19:54:22.000Z (about 5 years ago)
• Last Synced: 2024-11-25T14:17:01.574Z (2 months ago)
• Topics: analysis, analytics, coq, coq-ecosystem, coq-plugin, proof-engineering, read-eval-print-loop, repl, replica, user-study, user-study-tool
• Language: Python
• Homepage:
• Size: 166 KB
• Stars: 3
• Watchers: 7
• Forks: 0
• Open Issues: 2

Awesome Lists containing this project