The Coq mailing list

[Richard Ford <richardlford AT gmail.com>]

In order to understand Coq better I'd like to read it source code. Can you recommend a reading order, i.e. which directories to read first?

 

I'd also like to be able to step through the Coq sources using the OCaml debugger though I've not gotten that to work yet.

 

Do you find that using Coq on Windows works well, or is Linux a preferred environment?

 

Thanks for your help.

 

Rich