History for Talkin' with the Rooster · rocq-prover/rocq Wiki

update FAQ url

SkySkimmer committed Mar 28, 2025

dc1ea1f

Link back to the Coq FAQ main page.

Zimmi48 committed Apr 23, 2018

3046f6a

Updated Talkin' with the Rooster (markdown)

mattjquinn committed Dec 10, 2017

8088229

Updated Talkin' with the Rooster (markdown)

mattjquinn committed Dec 10, 2017

f4dabeb

Updated Talkin' with the Rooster (markdown)

mattjquinn committed Dec 10, 2017

3c9330f

Updated Talkin' with the Rooster (markdown)

mattjquinn committed Dec 10, 2017

b320485

Updated Talkin' with the Rooster (markdown)

mattjquinn committed Dec 10, 2017

df955a6

Updated Talkin' with the Rooster (markdown)

mattjquinn committed Dec 10, 2017

72fe405

Updated Talkin' with the Rooster (markdown)

mattjquinn committed Dec 10, 2017

1fdbc58

Created Talkin' with the Rooster (markdown)

mattjquinn committed Dec 10, 2017

25de7bc

Provide feedback