• coq-8.20.0-reference-manual.pdf
    4.83 MB 2024-09-04T11:44:02Z
  • coq-8.20.0.tar.gz
    7.48 MB 2024-09-04T11:33:24Z
  • Source code (zip)
    2024-09-04T11:25:51Z
  • Source code (tar.gz)
    2024-09-04T11:25:51Z