coq-community/coq-art

Issues

• Repository organization for different Coq versions?

  #2 opened 3 years ago by palmskog
  1

• add link the hosted html

  #14 opened 3 years ago by awalterschulze
  7

• broken link in ch13_co_inductive_types

  #15 opened 3 years ago by awalterschulze
  4

• Changes for Coq 8.13.0

  #16 opened 4 years ago by Casteran
  3

• Cannot find coq-art on opam Coq repo

  #7 opened 5 years ago
  2