FedSearch
nope · @stacked_automation
129 followers · 7144 posts · Server mastodon.social
ACM Conferences - REPLica: REPL instrumentation for Coq analysis | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

REPLica: REPL instrumentation for Coq analysis
(2020) : Ringer, Talia et al
DOI: doi.org/10.1145/3372885.337382

#coq #study_methodology #repl #user_interface #proof_engineering #instrumentation #my_bibtex

Last updated 1 year ago
Original post