nixpkgs / coqPackages.paramcoq - Coq plugin for parametricity

Homepage - https://github.com/coq-community/paramcoq

License - MIT

Maintainers - Vincent Laporte

Releases

1.1.3 (expand/collapse)
From commit 00460bd6 to 00460bd6
1.1.2 (expand/collapse)
From commit 039e3758 to 039e3758
1.1.3 (expand/collapse)
From commit 01d55988 to 021410c0
1.1.2 (expand/collapse)
From commit 0465cd73 to 0465cd73
1.1.3 (expand/collapse)
From commit 04efd289 to 052b553a
1.1.2 (expand/collapse)
From commit 04cded5c to 04cded5c
1.1.3 (expand/collapse)
From commit 0543f2d2 to 00627e0c
1.1.2 (expand/collapse)
From commit 01cc988d to 01cc988d
1.1.3 (expand/collapse)
From commit 04084d9e to 03171ae3
1.1.2 (expand/collapse)
From commit 024877e7 to 073cc84c
1.1.1+coq8.9 (expand/collapse)
From commit 04a5e5ab to 04a5e5ab
1.1.2 (expand/collapse)
From commit 0288741d to 0288741d
1.1.1+coq8.9 (expand/collapse)
From commit 03f3d67e to 03f3d67e
1.1.2 (expand/collapse)
From commit 036abcf5 to 01c9c9b1
1.1.1+coq8.9 (expand/collapse)
From commit 0218f30a to 0295a518
1.1.1 (expand/collapse)
From commit 0767de3d to 0767de3d
1.1.1+coq8.9 (expand/collapse)
From commit 05ee2af7 to 00610756
1.1.1 (expand/collapse)
From commit 04a0b11c to 04a0b11c
1.1.1+coq8.9 (expand/collapse)
From commit 01efdec3 to 050646af
1.1.1 (expand/collapse)
From commit 05de8873 to 05de8873
1.1.1+coq8.9 (expand/collapse)
From commit 05c54717 to 076f9d88
1.1.1 (expand/collapse)
From commit 03725673 to 03725673
1.1.1+coq8.9 (expand/collapse)
From commit 034eb3b3 to 034f3223
1.1.1 (expand/collapse)
From commit 038fbf01 to 061b6548
1.1.1+coq8.9 (expand/collapse)
From commit 0511b88c to 0511b88c
1.1.1 (expand/collapse)
From commit 04551d26 to 05288165