The Coq Proof Assistant, Version 8.7.2

Software OPEN SOURCE
The Coq Development Team;
(2018)

<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, 2018)
  • Cite this software