# content
A Mechanically Verified Garbage Collector for OCaml (via rrampage) — discussion

#formalmethods #ml #pdf