ccz181078/Coq-BB5

Issues

• Join Coq Package Index

  #3 opened 2 months ago by NanachiKyubey
  0

• Formal support for parallel compilation

  #2 opened 2 months ago by NanachiKyubey
  0

• Formal support for Σ(5,2)

  #1 opened 2 months ago by NanachiKyubey
  0