Files
paco
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Paco v1.1
Chung-Kil Hur, Georg Neis, Derek Dreyer and Viktor Vafeiadis
Max Planck Institute for Software Systems (MPI-SWS)
* Paco v1.1 is compatible with Coq8.3 and Coq8.4.
* See doc/index.html for details.