Programming

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

Programming Tutorial
Formalizing Program Analysis in Lean 4
2025-04-03 · Ryan Williams

Formal Methods Programming