All issues

Search results

sort polymorphic constants are not handled properly

Status: Open.

#142 In rocq-community/paramcoq;

· tabareau opened on Oct 24, 2025

Problem with translating terms using SProp

Status: Open.

#140 In rocq-community/paramcoq;

· tabareau opened on Oct 3, 2025

Typo

Status: Open.

#96 In rocq-community/paramcoq;

· SnarkBoojum opened on May 11, 2022

Applying the parametricity techniques to the generation of Boolean equality

Status: Open.

#93 In rocq-community/paramcoq;

· herbelin opened on Feb 11, 2022

Nix CI with caching and checking of CoqEAL

Status: Open.

#74 In rocq-community/paramcoq;

· palmskog opened on Sep 1, 2021

Proof obligations generated, but not in the proof mode

Status: Open.

#64 In rocq-community/paramcoq;

· pi8027 opened on Mar 22, 2021

strange warning from coqdep

Status: Open.

#56 In rocq-community/paramcoq;

· Casteran opened on Sep 23, 2020

Proof obligations, even on closed programs

Status: Open.

#4 In rocq-community/paramcoq;

· aa755 opened on Nov 24, 2016