skip to main content
news

30 years of research and development around Coq

Published:08 January 2014Publication History

Abstract

No abstract available.

Skip Supplemental Material Section

Supplemental Material

d2_left_t2.mp4

Index Terms

  1. 30 years of research and development around Coq

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!