Papers tagged coq Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant Browse All Keywords By Category
