coq-community/paramcoq

Issues

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

  #120 opened 8 months ago by rtetley
  0

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

  #115 opened a year ago by rtetley
  0

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

  #108 opened 2 years ago by MSoegtropIMC
  0

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

  #100 opened 2 years ago by MSoegtropIMC
  0

• Typo

  #96 opened 3 years ago by SnarkBoojum
  2

• Applying the parametricity techniques to the generation of Boolean equality

  #93 opened 3 years ago by herbelin
  12

• Proof obligations, even on closed programs

  #4 opened 8 years ago by aa755
  4

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

  #92 opened 3 years ago by MSoegtropIMC
  0

• Release compatible with Coq 8.15

  #90 opened 3 years ago by pi8027
  4

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

  #82 opened 3 years ago by MSoegtropIMC
  0

• Inclusion in the Coq Platform

  #81 opened 3 years ago by MSoegtropIMC
  1

• Branch for 8.14

  #73 opened 3 years ago by palmskog
  8

• Nix CI with caching and checking of CoqEAL

  #74 opened 3 years ago by palmskog
  1

• Proof obligations generated, but not in the proof mode

  #64 opened 4 years ago by pi8027
  1

• strange warning from coqdep

  #56 opened 4 years ago by Casteran
  2

• Anomaly "Uncaught exception Not_found."

  #42 opened 5 years ago by ybertot
  1

• Releases of paramcoq are spread out across many repositories

  #28 opened 6 years ago by palmskog
  8

• Versioning policy

  #9 opened 6 years ago by ejgallego
  14

• Parametricity Recursive doesn't recognize dependence in Inductives/Records

  #5 opened 6 years ago by aa755
  2

• Coq 8.6 and 8.7

  #7 opened 7 years ago by ejgallego
  6

• Beginner question about `lenght_same_length` exercise

  #2 opened 9 years ago by ichistmeinname
  0

• Type error in `src/declare_translation`

  #1 opened 9 years ago by ichistmeinname
  4