nixpkgs / coqPackages.corn - A Coq library for constructive analysis

Homepage - http://c-corn.github.io/

License - GPL-2.0

Maintainers - Vincent Laporte

Releases

8.13.0 (expand/collapse)
From commit 059a86bb to 00460bd6
(expand/collapse)
From commit 06a91dda to 06a91dda
8.13.0 (expand/collapse)
From commit 03d20cbc to 046f8184
(expand/collapse)
From commit 022c300d to 022c300d
8.13.0 (expand/collapse)
From commit 0247d6f9 to 07109dd4
(expand/collapse)
From commit 02c142a2 to 05020744
8.12.0 (expand/collapse)
From commit 074ef76e to 074ef76e
(expand/collapse)
From commit 04855119 to 07557e3b
8.12.0 (expand/collapse)
From commit 065a8102 to 065a8102
(expand/collapse)
From commit 040129fa to 04de1306
8.12.0 (expand/collapse)
From commit 06f23ba5 to 03582eb6
8.8.1 (expand/collapse)
From commit 00a9057f to 05fe6112