i think formal verification is also a scam but talking about Pants #development

i think formal verification is also a scam but tal...

aloof-angle-91616

03/05/2019, 5:02 AM

i think formal verification is also a scam but talking about productionizing generated C code was pretty interesting