5 Pull requests merged by 4 people

• Coq pprint.0.1.0

  #3197 merged Nov 3, 2024

• removing remnants of coq-htt.dev

  #3196 merged Nov 1, 2024

• Release Iris 4.3.0 and std++ 1.11.0

  #3195 merged Oct 31, 2024

• [extra-dev] Update coq-elpi.dev lower bound on ocaml

  #3193 merged Oct 30, 2024

• [extra-dev] Add coq-mathcomp-reals, coq-mathcomp-altreals, coq-mathcomp-reals-stdlib and coq-mathcomp-analysis-stdlib

  #3192 merged Oct 30, 2024

1 Pull request opened by 1 person

• Coq cheri capabilities.1.1.0

  #3194 opened Oct 30, 2024