SMTCoq: Safe and Efficient Automation in Coq

POPL 2020

SMTCoq: Safe and Efficient Automation in Coq

Sep 17, 2020
|
30 views
Details
Presenter: Chantal Keller Presented at CoqPL'20, colocated with POPL 2020.

Comments
loading...