Changes between Version 33 and Version 34 of WikiStart
 Timestamp:
 Mar 30, 2016, 9:21:25 AM (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

WikiStart
v33 v34 18 18 == Installation == 19 19 20 * You will need a working version of [http://coq.inria.fr Coq]. The proofs are known to work with Coq 8. 4.20 * You will need a working version of [http://coq.inria.fr Coq]. The proofs are known to work with Coq 8.5. 21 21 22 22 * Source code is on github