Coq -> Rocq (partial conversion)

Blaisorblade committed Jun 22, 2025

Updated Home (markdown)

CohenCyril committed Apr 23, 2025

Updated Home (markdown)

thomas-lamiaux committed Apr 22, 2025

Updated Home (markdown)

proux01 committed Apr 1, 2025

update FAQ url

SkySkimmer committed Mar 28, 2025

Updated Home (markdown)

herbelin committed Jun 29, 2023

Updated Home (markdown)

Zimmi48 committed May 11, 2023

Updated Home (markdown)

gares committed May 11, 2023

Updated Home (markdown)

patrick-nicodemus committed Apr 10, 2023

Updated Home (markdown)

patrick-nicodemus committed Apr 10, 2023

Updated Home (markdown)

patrick-nicodemus committed Apr 10, 2023

Updated Home (markdown)

patrick-nicodemus committed Apr 10, 2023

Updated Home (markdown)

ejgallego committed Jan 9, 2023

Freenode closed all their channels. Users can find a new #coq channel on libera.chat.

roconnor committed Jul 7, 2021

Updated Home (markdown)

Zimmi48 committed Jan 12, 2021

Correct Reference Manual Link

joachimschmidt557 committed Mar 4, 2020

Updated Home (markdown)

Zimmi48 committed Feb 13, 2020

[CUDW 2020] Add page

ejgallego committed Jan 30, 2020

Add CoqLang Twitter account

anton-trunov committed Jan 29, 2020

link to alternative stdlibs descriptions

llelf committed Jan 13, 2020

Updated Home (markdown)

Zimmi48 committed Dec 11, 2019

Updated Home (markdown)

ejgallego committed Oct 20, 2019

Link to CI status page

vbgl committed Jul 25, 2019

Updated Home (markdown)

maximedenes committed May 27, 2019

Updated Home (markdown)

soraros committed May 12, 2019

fix libraries and add stdpp

palmskog committed May 5, 2019

add books

palmskog committed May 5, 2019

Volume 4 of Software Foundtions added.

takasimiz committed Feb 2, 2019

Remove link to archive roadmap repo

Zimmi48 committed Jan 28, 2019

Remove dead page

Zimmi48 committed Jan 28, 2019