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