7 Pull requests merged by 5 people

• coq-ssprove 0.2.3 release

  #3284 merged Jan 7, 2025

• Add validsdp 1.0.3

  #3283 merged Jan 6, 2025

• Add odd-order 2.1.0

  #3282 merged Jan 4, 2025

• release monae 0.7.2

  #3280 merged Jan 3, 2025

• coq-mathcomp-odd-order.2.0.0 doesn't work with MathComp 2.2.0 and later

  #3281 merged Jan 3, 2025

• CompCert version 3.15

  #3279 merged Jan 3, 2025

• Add rocq-native

  #3278 merged Jan 3, 2025