TILens Daily Edition
2026-09-16
Filters: topic=ocaml, github=hidden

Stats: 1 article, 1 source
Top topics: OCaml

## Community

- Formal Verification: Release of Ortac 0.8.0 for Testing with Domains
  Source: ocaml-planet
  Topic: OCaml
  URL: https://tarides.com/blog/2026-09-16-ortac-0-8-0-testing-with-domains