All pull requests

Pull requests

• update documentation and bump itauto to 9.1

  #533·Justme0606 opened Jul 23, 2026Contributor·

  ·

• bum coq-hott to 9.1 localy waiting opam package and add PIN rocq-core

  #529·Justme0606 opened Jun 30, 2026Contributor·

  ·

• Only copy files if they exist

  #479·jim-portegies opened Aug 25, 2025Contributor·

  ·
  10

• markdown: add back quote

  #475·lengyijun opened Jun 28, 2025·

  ·

• CI: reanmed coq.fev to rocq-prover.dev

  #468·MSoegtropIMC opened Apr 4, 2025Contributor·

  ·

• Give more detail on creating customized versions

  #446·jfehrle opened Nov 16, 2024Member·

  ·
  2

• Add Tactician to the platform

  #423·LasseBlaauwbroek opened Jul 19, 2024Member·

  ·
  23

• Add editorial board

  #353·ybertot opened Jul 18, 2023Contributor·

  ·
  5

• add vscoq language server

  #348·gares opened Jun 17, 2023Member·

  ·
  1

  8

• Improved Macos CI

  #328·maximedenes opened Feb 13, 2023Member·

  ·
  7

• Add CI for spell check and other linters

  #231·k4rtik opened Mar 23, 2022Contributor·

  ·
  21

• [wip] script to copy Coq's CI info into the platform

  #44·gares opened Dec 15, 2020Member·

  ·
  26