Displaying Proof Goals with Alectryon August 13, 2026 A draft post showing Rocq proof states rendered inline by Alectryon.