The Promise of P-Graphs (via saulshanabrook) — discussion

#formalmethods #plt