(Q1131652)

dependently typed programming language

open-source software

0 references

free software

0 references

0 references

inception

1984

0 references

has use

proof assistant

1 reference

https://en.wikipedia.org/w/index.php?title=Coq&oldid=920339556

programming language

0 references

logo image

Coq logo.png
66 × 100; 6 KB

0 references

image

Coq 8.5 stdlib proof.png
1,280 × 800; 94 KB

0 references

named after

Thierry Coquand

1 reference

14 April 2023

https://en.wikipedia.org/w/index.php?title=Coq&oldid=1149718097

country

France

0 references

1 May 1989

1 reference

Programming Languages Software Award

award received

point in time

2013

1 reference

https://sigplan.org/Awards/Software/#2013_The_Coq_proof_assistant

6 February 2022

Open Science Free Software Award

Programming Languages Software Award (English)

point in time

2022

1 reference

https://www.ouvrirlascience.fr/remise-des-prix-science-ouverte-du-logiciel-libre-de-la-recherche/

5 February 2022

Remise des prix science ouverte du logiciel libre de la recherche (French)

purely functional programming

6 February 2022

programming paradigm

0 references

developer

Institut National de Recherche en Informatique et en Automatique

0 references

programmer

Pierre-Marie Pédrot

0 references

Emilio Jesús Gallego Arias

0 references

Gaetan Gilbert

0 references

platform

cross-platform

1 reference

Russian Wikipedia

https://ru.wikipedia.org/?oldid=96334507

operating system

cross-platform

0 references

package management system

0 references

1 reference

https://www.openhub.net/p/coq/analyses/latest/languages_summary

The Coq proof assistant Open Source Project on Open Hub: Languages Page (English)

18 July 2018

C

1 reference

Russian Wikipedia

https://ru.wikipedia.org/?oldid=96334507

source code repository URL

https://scm.gforge.inria.fr/anonscm/git/coq/coq.git/

version control system

Git

0 references

https://github.com/coq/coq

version control system

Git

web interface software

GitHub

0 references

software version identifier

8.5pl2

https://coq.inria.fr/distrib/V8.5pl2/files/coq-8.5pl2.tar.gz

11 July 2016

streaming media URL

1 reference

https://coq.inria.fr/news/130.html

archive URL

https://web.archive.org/web/20170101092329/https://coq.inria.fr/news/130.html

archive date

1 January 2017

8.6.1

25 July 2017

official website

https://coq.inria.fr/

2 references

https://coq.inria.fr/news/135.html

https://github.com/coq/coq/releases/tag/V8.6.1

12 July 2019

Release 8.6.1 (English)

18 August 2017

8.7.1

15 December 2017

2 references

https://coq.inria.fr/news/141.html

Coq 8.7.1 is out | The Coq Proof Assistant (English)

3 January 2018

https://github.com/coq/coq/releases/tag/V8.7.1

12 July 2019

Release 8.7.1 (English)

8 January 2018

8.7.2

15 February 2018

1 reference

https://github.com/coq/coq/releases/tag/V8.7.2

coq: V8.7.2: Version 8.7.2 of Coq. It fixes a critical bug in the VM handling (English)

15 February 2018

16 February 2018

8.8.0

17 April 2018

2 references

https://coq.inria.fr/news/145.html

Coq 8.8.0 is out | The Coq Proof Assistant (English)

language of work or name

English

8 May 2018

https://github.com/coq/coq/releases/tag/V8.8.0

12 July 2019

Release 8.8.0 (English)

17 April 2018

8.9.1

20 May 2019

1 reference

https://github.com/coq/coq/releases/tag/V8.9.1

8.5

18 August 2017

1 reference

https://github.com/coq/coq/releases/tag/V8.5

12 July 2019

Release 8.5 (English)

18 August 2017

8.6

18 August 2017

1 reference

https://github.com/coq/coq/releases/tag/V8.6

12 July 2019

Release 8.6 (English)

18 August 2017

8.7.0

17 October 2017

1 reference

https://github.com/coq/coq/releases/tag/V8.7.0

12 July 2019

Release 8.7.0 (English)

17 October 2017

8.8.1

9 July 2018

1 reference

https://github.com/coq/coq/releases/tag/V8.8.1

12 July 2019

Release 8.8.1 (English)

9 July 2018

8.8.2

26 September 2018

1 reference

https://github.com/coq/coq/releases/tag/V8.8.2

12 July 2019

Release 8.8.2 (English)

26 September 2018

8.9.0

19 January 2019

1 reference

https://github.com/coq/coq/releases/tag/V8.9.0

12 July 2019

Release 8.9.0 (English)

19 January 2019

8.10.0

8 October 2019

1 reference

https://github.com/coq/coq/releases/tag/V8.10.0

8 October 2019

Release 8.10.0 (English)

8 October 2019

8.10.1

25 October 2019

1 reference

https://github.com/coq/coq/releases/tag/V8.10.1

25 October 2019

Release 8.10.1 (English)

25 October 2019

8.10.2

29 November 2019

1 reference

https://github.com/coq/coq/releases/tag/V8.10.2

30 November 2019

Release 8.10.2 (English)

29 November 2019

8.11.0

30 January 2020

1 reference

https://github.com/coq/coq/releases/tag/V8.11.0

31 January 2020

Release 8.11.0 (English)

30 January 2020

8.11.1

8 April 2020

1 reference

https://github.com/coq/coq/releases/tag/V8.11.1

8 April 2020

Release 8.11.1 (English)

8 April 2020

8.11.2

9 June 2020

1 reference

https://github.com/coq/coq/releases/tag/V8.11.2

15 June 2020

Release 8.11.2 (English)

9 June 2020

8.12.0

27 July 2020

1 reference

https://github.com/coq/coq/releases/tag/V8.12.0

28 July 2020

Release 8.12.0 (English)

27 July 2020

8.12.1

16 November 2020

1 reference

https://github.com/coq/coq/releases/tag/V8.12.1

9 December 2020

Release 8.12.1 (English)

16 November 2020

8.12.2

11 December 2020

1 reference

https://github.com/coq/coq/releases/tag/V8.12.2

8 January 2021

Release 8.12.2 (English)

11 December 2020

8.13.0

7 January 2021

1 reference

https://github.com/coq/coq/releases/tag/V8.13.0

8 January 2021

Release 8.13.0 (English)

7 January 2021

8.13.1

22 February 2021

1 reference

https://github.com/coq/coq/releases/tag/V8.13.1

10 March 2021

Release 8.13.1 (English)

22 February 2021

8.13.2

12 April 2021

1 reference

https://github.com/coq/coq/releases/tag/V8.13.2

11 May 2021

Release 8.13.2 (English)

12 April 2021

8.14.0

14 October 2021

1 reference

https://github.com/coq/coq/releases/tag/V8.14.0

29 October 2021

Release 8.14.0 (English)

14 October 2021

8.14.1

7 December 2021

1 reference

https://github.com/coq/coq/releases/tag/V8.14.1

12 January 2022

Release Coq 8.14.1 (English)

7 December 2021

8.15.0

13 January 2022

1 reference

https://github.com/coq/coq/releases/tag/V8.15.0

24 January 2022

Release Coq 8.15.0 (English)

13 January 2022

8.15.1

22 March 2022

1 reference

https://github.com/coq/coq/releases/tag/V8.15.1

24 March 2022

Release Coq 8.15.1 (English)

22 March 2022

8.15.2

31 May 2022

1 reference

https://github.com/coq/coq/releases/tag/V8.15.2

31 May 2022

Release Coq 8.15.2 (English)

4 June 2022

8.16.0

5 September 2022

1 reference

https://github.com/coq/coq/releases/tag/V8.16.0

5 September 2022

Release Coq 8.16.0 (English)

5 September 2022

8.16.1

25 November 2022

1 reference

https://github.com/coq/coq/releases/tag/V8.16.1

8 December 2022

Release 8.16.1 (English)

25 November 2022

8.17.0

27 March 2023

1 reference

https://github.com/coq/coq/releases/tag/V8.17.0

30 March 2023

Release 8.17.0 (English)

27 March 2023

8.17.1

27 June 2023

1 reference

https://github.com/coq/coq/releases/tag/V8.17.1

30 June 2023

Release 8.17.1 (English)

https://github.com/coq/coq/releases/tag/V8.18.0

27 June 2023

8.18.0

8 September 2023

1 reference

18 September 2023

Release 8.18.0 (English)

https://github.com/coq/coq/releases/tag/V8.19.0

8 September 2023

8.19.0

24 January 2024

1 reference

5 February 2024

Release Coq 8.19.0 (English)

https://github.com/coq/coq/releases/tag/V8.19.1

24 January 2024

8.19.1

4 March 2024

1 reference

14 March 2024

Release Coq 8.19.1 (English)

https://coq.inria.fr/rss.xml

4 March 2024

official website

https://coq.inria.fr/

language of work or name

English

0 references

web feed URL

0 references

external data available at URL

https://opam.ocaml.org/packages/coq/

0 references

copyright license

GNU Lesser General Public License, version 2.1

1 reference

https://github.com/coq/coq/blob/master/LICENSE

copyright status

copyrighted

0 references

maintained by WikiProject

WikiProject Software

0 references

Stack Exchange tag

https://stackoverflow.com/tags/coq

1 reference

https://coq.inria.fr/community

different from

rooster

applies to name of object

coq (French)

0 references

Coq

0 references

Commons category

Coq (programming language)

1 reference

Chocolatey Community package ID

Identifiers

DOI

10.5281/ZENODO.1003420

0 references

0 references

0 references

0 references

0 references

Coq

0 references

Debian stable package

release_2fr5l6eitbcu5c6442l2mssf3a

0 references

Fatcat ID

0 references

Fedora package

0 references

File Format Wiki page ID

Coq

0 references

Framalibre ID

Free Software Directory entry

0 references

0 references

1 reference

28 October 2013

0 references

0 references

1 reference

https://github.com/topics/coq

coq · GitHub Topics · GitHub (English)

20 July 2021

GitHub username

1 reference

30 May 2021