https://pantsbuild.org/ logo
a

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