corpus.blog
Most cited
Talked about
Blogs
41554 blogs · [ { "id": "01a08c5f-8394-725a-8cf0-9420a0db902b", "title": "Teaching Booleans About Versions: A Theory-Augmented BDD Library in OCaml", "url": "https://vouillon.github.io/blog/posts/theo/", "published_at": "2026-07-21T10:00:00+00:00" }, { "id": "01a08c5f-8395-72d8-8786-081fffd53084", "title": "About", "url": "https://vouillon.github.io/blog/about/", "published_at": null } ] posts
Claim your blog
Back to vouillon.github.io
Blog · corpus.blog/blogs/vouillon.github.io/posts
vouillon.github.io
vouillon.github.io
2026
Teaching Booleans About Versions: A Theory-Augmented BDD Library in OCaml
original ↗
21 Jul 2026
Undated
About
original ↗
—