Posts

Blog posts on programming languages, formal methods, and web development.

Reading Tamarin Prover Output: A Visual Tutorial
2026-04-29 · Ryan Williams

Formal Methods Tutorial Security
Formalizing Program Analysis in Lean 4
2025-04-03 · Ryan Williams

Formal Methods Programming
Datalog for Program Analysis
2024-06-13 · Ryan Williams · Updated 2026-06-26

Programming Tutorial
Coq Cheatsheet: Tools and Tactics for Goal Solving
2023-12-19 · Ryan Williams · Updated 2026-06-26

Formal Methods Reference

Interactive reference

A quick, clickable reference to common Coq tactics. Pick a group below, then expand any card for a worked example and explanation. Tactics run from everyday building blocks to heavier proof automation.
Rendering LaTeX in Hakyll
2023-11-14 · Ryan Williams · Updated 2026-06-26

Web Development Tutorial

📝

A note before we start. This post describes a general technique for rendering LaTeX on a Hakyll site — it is not about this website specifically. This site has since migrated to Lean 4 and Verso. The approach below still applies to any Hakyll/pandoc project, so I've kept it around.

Categories