math-comp/bigenough

Issues

• Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

  #11 opened 5 months ago by rtetley
  1

• Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

  #10 opened a year ago by MSoegtropIMC
  2

• Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03

  #9 opened 2 years ago by MSoegtropIMC
  1

• Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09

  #8 opened 2 years ago by MSoegtropIMC
  0

• Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02

  #7 opened 3 years ago by MSoegtropIMC
  0

• Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11

  #4 opened 3 years ago by MSoegtropIMC
  1

• Typo

  #2 opened 4 years ago by herbelin
  1