Coq Proof Assistant
Description
Coq Proof Assistant is a formal proof management system that helps users develop mathematical theorems and verify their correctness using interactive proof constructions. It provides a powerful environment for writing, formalizing and verifying proofs in a wide range of mathematical theories and programming languages
Stats
201
213
30
5.6.1.2646195
10,157,138
267,736
190,626
26.645mi
13 weeks, 23 hours, 13 minutes, 59 seconds
10 hours, 58 minutes, 53 seconds
| Version | OS | Last Seen |
|---|---|---|
| 2022.3.39f1 (4e1b0f82c39a) | 2024-07-28 | |
| 2022.3.33f1 (b2c853adf198) | 2024-07-08 | |
| 2021.3.14f1 (eee1884e7226) | 2022-11-29 | |
| 2021.3.12f1 (8af3c3e441b1) | 2022-11-24 | |
| 2020.3.19.6877495 | 2021-10-09 | |
| 2020.1.9.1335121 | 2021-07-26 | |
| 2020.1.2.8073916 | 2020-10-04 | |
| 2019.1.14.1346392 | 2020-02-13 | |
| 2019.1.9.14021043 | 2019-07-23 | |
| 2018.4.2.14089014 | 2019-06-30 | |
| 2018.2.17.8950581 | 2018-12-12 | |
| 2018.2.10.6769317 | 2018-10-19 | |
| 2018.2.6.12947929 | 2018-09-20 | |
| 2018.2.5.3174865 | 2018-08-26 | |
| 2018.2.1.1743208 | 2018-07-29 | |
| 2018.2.0.5352645 | 2018-07-11 | |
| 2017.1.0.4662803 | 2017-08-05 | |
| 5.6.1.2646195 | 2017-06-25 | |
| 5.6.0.4815375 | 2017-05-05 | |
| 5.5.2.3680727 | 2017-04-07 | |
| 5.5.1.8966154 | 2017-02-28 | |
| 5.5.0.3716335 | 2016-12-26 | |
| 5.4.0.683243 | 2016-09-25 | |
| 5.3.5.6196178 | 2016-09-04 | |
| 5.3.5.285030 | 2016-05-30 | |
| 5.3.4.16628561 | 2016-04-16 | |
| 5.2.3.15978858 | 2015-12-19 | |
| 4.6.9.4458911 | 2015-11-26 | |
| 4.6.7.2799761 | 2015-09-12 | |
| 4.6.6.9516653 | 2015-07-16 |
| Rank | User | Time Used | Keys | Clicks | Scrolls | Distance |
|---|