Displaying Proof Goals with Alectryon
A draft post showing Rocq proof states rendered inline by Alectryon.
Blog
Rendering Test
A draft post that exercises every rendering feature of the blog.
Org Sample
A draft post that checks the org-mode reader path.