Here is a refactoring of the index HTML page to distinguish it from the Coq'Art book website (hosted by Pierre). Many links are fixed. I also remove an unused file and convert one file from markdown to HTML to make it properly browsable when deployed to https://coq-community.org/coq-art/
@Casteran could you take a look at this when convenient and merge if it looks good to you?
Here is a refactoring of the index HTML page to distinguish it from the Coq'Art book website (hosted by Pierre). Many links are fixed. I also remove an unused file and convert one file from markdown to HTML to make it properly browsable when deployed to https://coq-community.org/coq-art/
@Casteran could you take a look at this when convenient and merge if it looks good to you?