The Coq Proof Assistant, Version 8.7.1

Software OPEN SOURCE
The Coq Development Team;
(2017)
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.1133970
  • 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