The Coq Proof Assistant, Version 8.7.0

The Coq Development Team;

<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

  • Download from
    Zenodo via Zenodo (Software, 2017)
  • Cite this software