↓
Skip to main content
Jérôme Vouillon
Posts
About
Categories
Tags
Formal-Methods
2026
Teaching Booleans About Versions: A Theory-Augmented BDD Library in OCaml
21 July 2026
↑