I’ve run into some formatting issues for the project and class notes. Turns out that `` is both a Hoare Triple in Rocq style and the format for a Jekyll expression. My GitHub pages workflow uses Jekyll and is treating Hoare Triples as Jekyll declarations. Sorry about that.
Thankfully raw Markdown is easy to read. Here are links to compressed sources for the offending pages:
I will find a fix for this, but downloading the Markdown source is a good interim solution and will allow you to continue working.