Salt: Systems programming, mathematically verified (via munksgaard) — discussion

#plt