Built with Alectryon, running Coq+SerAPI. Bubbles () indicate interactive fragments: hover for details, tap to reveal contents. Use Ctrl+↑ Ctrl+↓ to navigate, Ctrl+🖱️ to focus. On Mac, use instead of Ctrl.

Cached reads

This file checks that reading from a cache works. To compile:

alectryon cache_v2.v --cache-directory tests/
  # Coq → HTML (cached); produces ‘cache_v2.html’
1 : nat