The Coq Proof Assistant, version 8.7.0

Software OPEN SOURCE
The Coq Development Team;
(2017)
  • Publisher: Figshare
  • Identifiers: doi: 10.5281/zenodo.1028037
  • Subject: Cell Biology | Genetics | Developmental Biology | Sociology | Plant Biology | Science Policy | proof assistant
    • FOR: 69999 Biological Sciences not elsewhere classified

<p>Coq 8.7 includes:</p> <ul> <li>A large amount of work on cleaning and speeding up the code base, notably the work of Pierre-Marie P&eacute;drot on making the tactic-level system insensitive to existential variable expansion, providing a safer API to plugin wr... View more
Share - Bookmark