aspiwack/cosa

A thing about Coq-verified Shape Analysis

CoqNOASSERTION